Result

• enum bitwuzla::Result

• std::ostream& bitwuzla::operator<< (std::ostream& out, Result result)

• std::string std::to_string(bitwuzla::Result result)

namespace bitwuzla {

enum class bitwuzla::Result

A satisfiability result.

Values:

enumerator SAT

sat

enumerator UNSAT

unsat

enumerator UNKNOWN

unknown

std::ostream &bitwuzla::operator<<(std::ostream &out, Result r)

}

namespace std {

std::string std::to_string(bitwuzla::Result result)

}