A B C E G I L S T

T

toArray() - Method in class edu.kit.iti.formal.lights.sat.Clause

Extract the integer values of this clause into an array.

toConsole() - Method in class edu.kit.iti.formal.lights.Lights

print the board to the console, i.e.

toString() - Method in class edu.kit.iti.formal.lights.Lights

generate a describing String from this board.

toString() - Method in class edu.kit.iti.formal.lights.sat.Clause

A clause is textually represented as a list in square brackets.

A B C E G I L S T