A B C E G I L S T

E

edu.kit.iti.formal.lights - package edu.kit.iti.formal.lights

edu.kit.iti.formal.lights.sat - package edu.kit.iti.formal.lights.sat

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

compare this Lights board to another object.

exactlySetN(int, int, int, int, int) - Static method in class edu.kit.iti.formal.lights.sat.Clause

create a list of dimacs clauses to express that exactly n of 4 variables are set to true.

A B C E G I L S T