2
3
4
5
6
16 NotImplementedException(
const std::string &methodName = {});
22 BadHeuristicCall(std::string message = {});
23 const char *what()
const noexcept override;
26#define NOT_IMPLEMENTED NotImplementedException(__PRETTY_FUNCTION__)
Definition exception.hpp:19
Structure representing a literal in a CNF-SAT problem.
Definition basic_structures.hpp:56
unsigned get() const
Definition basic_structures.cpp:30
short sign() const
Definition basic_structures.cpp:38
bool operator==(Literal) const
Definition basic_structures.cpp:42
Literal negate() const
Definition basic_structures.cpp:34
Literal(unsigned val)
Definition basic_structures.cpp:26
Structure representing a binary variable in a CNF-SAT problem.
Definition basic_structures.hpp:29
bool operator==(Variable other) const
Definition basic_structures.cpp:22
unsigned get() const
Definition basic_structures.cpp:18
Variable(unsigned val)
Definition basic_structures.cpp:14
#define NOT_IMPLEMENTED
Definition exception.hpp:26
Definition basic_structures.cpp:10
Literal neg(Variable x)
Definition basic_structures.cpp:50
Literal pos(Variable x)
Definition basic_structures.cpp:46
TruthValue
Represents a truth value.
Definition basic_structures.hpp:20
@ Undefined
variable is unassigned
Variable var(Literal l)
Definition basic_structures.cpp:54
Definition exception.hpp:15