Uses of Interface
org.sat4j.minisat.core.ILits23

Packages that use ILits23

org.sat4j.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.cnf	Implementations of clausal contraints.

Uses of ILits23 in org.sat4j.minisat

Methods in org.sat4j.minisat that return types with arguments of type ILits23

static Solver<ILits23>	SolverFactory.newMini3SAT()
static Solver<ILits23>	SolverFactory.newMini3SATb()
static Solver<ILits23>	SolverFactory.newMiniLearning23()
static Solver<ILits23>	SolverFactory.newMiniSAT23()
static Solver<ILits23>	SolverFactory.newMiniSAT23Heap()

Uses of ILits23 in org.sat4j.minisat.constraints

Methods in org.sat4j.minisat.constraints that return ILits23

protected ILits23

MixedDataStructureWithBinaryAndTernary.createLits()

Uses of ILits23 in org.sat4j.minisat.constraints.cnf

Classes in org.sat4j.minisat.constraints.cnf that implement ILits23

class

Lits23