Uses of Class
edu.kit.iti.formal.lights.sat.Clause

Packages that use Clause

Package	Description
edu.kit.iti.formal.lights.sat

Uses of Clause in edu.kit.iti.formal.lights.sat

Methods in edu.kit.iti.formal.lights.sat that return Clause

Modifier and Type	Method and Description
Clause	Clause.concat(int literal) Get a clause that represents this clause augmented by an additional literal.

Methods in edu.kit.iti.formal.lights.sat that return types with arguments of type Clause

Modifier and Type	Method and Description
static List<Clause>	Clause.exactlySetN(int n, int v1, int v2, int v3, int v4) create a list of dimacs clauses to express that exactly n of 4 variables are set to true.
List<Clause>	SATSolver.getClauses() Get the list of all clauses added to the solver.

Methods in edu.kit.iti.formal.lights.sat with parameters of type Clause

Modifier and Type	Method and Description
void	SATSolver.addClause(Clause clause) Add a single clause to the solver.