- getBlockConstraint(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
Get the value of a constraint of a field.
- getClauses() - Method in class edu.kit.iti.formal.lights.sat.SATSolver
-
Get the list of all clauses added to the solver.
- getDimension() - Method in class edu.kit.iti.formal.lights.Lights
-
get the width/height of this board.
- getField(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
return the (immutable) object that is used to describe a field on the
board.
- getLitNeighbours(int, int) - Method in class edu.kit.iti.formal.lights.Lights
-
Get the number of neighbouring fields that contain a light.
- getMaximumVariable() - Method in class edu.kit.iti.formal.lights.sat.SATSolver
-
Get the highest variable index amongst all clauses in the solver.
- getMaxVar() - Method in class edu.kit.iti.formal.lights.sat.Clause
-
Get the largest index of all literals in the clause.
- getPreferredSize() - Method in class edu.kit.iti.formal.lights.LightsComponent
-