Module dimacs::items
[−]
[src]
Some item definitions used in instances to provide a virtual representative
structure of .cnf
or .sat
files and their associated clauses or formula.
Structs
Clause |
Represents a clause instance within a |
Extensions |
Possible extensions for |
Lit |
Represents a literal within clauses of formulas of a SAT instance. |
Var |
Represents a variable within a SAT instance. |
Enums
Formula |
Represents the structure of formulas of |
Instance |
Represents a SAT instance for |
Sign |
Represents the sign of a literal. |
Constants
EQ |
If the EQ-Extension is being used to allow for |
NONE |
If no extensions are being used. |
XOR |
If the XOR-Extension is being used to allow for |
Type Definitions
FormulaBox |
An indirection to a |
FormulaList |
An immutable list of |