Contains the basic structures variable and literal. More...
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | sat::Variable |
| Structure representing a binary variable in a CNF-SAT problem. More... | |
| class | sat::Literal |
| Structure representing a literal in a CNF-SAT problem. More... | |
Namespaces | |
| namespace | sat |
Enumerations | |
| enum class | sat::TruthValue { sat::False = -1 , sat::Undefined = 0 , sat::True = 1 } |
| Represents a truth value. More... | |
Functions | |
| Literal | sat::pos (Variable x) |
| Literal | sat::neg (Variable x) |
| Variable | sat::var (Literal l) |
Detailed Description
Contains the basic structures variable and literal.
- Date
- 26.11.24
