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)¶