- Clause - Class in edu.kit.iti.formal.lights.sat
-
The Class Clause represents DIMACS clauses.
- Clause(int...) - Constructor for class edu.kit.iti.formal.lights.sat.Clause
-
Instantiates a new clause from a list of literals.
- clear(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
set a field on the board to empty.
- clone() - Method in class edu.kit.iti.formal.lights.Lights
-
create a new object of this class which gets a copy the fields array.
- concat(int) - Method in class edu.kit.iti.formal.lights.sat.Clause
-
Get a clause that represents this clause augmented by an additional
literal.