Uses of Class
eu.bandm.tools.dpll.SATSolver.State

Packages that use SATSolver.State

Package	Description
eu.bandm.tools.dpll	Model and solver for propositional logic in conjunctive normal form.

Uses of SATSolver.State in eu.bandm.tools.dpll

Methods in eu.bandm.tools.dpll that return SATSolver.State

Modifier and Type	Method	Description
protected SATSolver.State<P>	SATSolver.initialState(Formula<P> form)	Creates a new initial state for solving the given formula.
protected SATSolver.State<P>	SATSolver.State.with(Literal<P> literal)	Creates a copy of this state with a given unit clause added to the formula.

Methods in eu.bandm.tools.dpll with parameters of type SATSolver.State

Modifier and Type	Method	Description
protected Formula<P>	SATSolver.State.sequential(SATSolver.State<P> s1, SATSolver.State<P> s2)	Finds a solution from either of two split states by sequential exploration.
protected Formula<P>	SATSolver.State.split(SATSolver.State<P> s1, SATSolver.State<P> s2)	Finds a solution from either of two split states.