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

Packages that use ILits2

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.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.

Uses of ILits2 in org.sat4j.minisat

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

static Solver<ILits2>	SolverFactory.newMiniLearning2()
static Solver<ILits2>	SolverFactory.newMiniLearning2Heap()
static Solver<ILits2>	SolverFactory.newMiniLearning2NewOrder()
static Solver<ILits2>	SolverFactory.newMiniSAT2()
static Solver<ILits2>	SolverFactory.newMiniSAT2Heap()

Uses of ILits2 in org.sat4j.minisat.constraints

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

ILits2

MixedDataStructureWithBinary.createLits()

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

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

class	Lits2
class	Lits23

Uses of ILits2 in org.sat4j.minisat.core

Subinterfaces of ILits2 in org.sat4j.minisat.core

interface

ILits23 Specific vocabulary taking special care of binary and ternary clauses.