mcrl2/smt/answer.h

Include file:

#include "mcrl2/smt/answer.h"

Enumerated types

type mcrl2::smt::answer

Values:

  • UNSAT

  • UNKNOWN

  • SAT

Functions

std::ostream &mcrl2::smt::operator<<(std::ostream &out, const answer &a)