A B C D E F G H I J L M N O P R S T U V W X

F

FALSE - Static variable in class org.sat4j.reader.ExtendedDimacsReader

FALSE - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

FALSE - Static variable in class org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter

findModel() - Method in class org.sat4j.minisat.core.Solver

findModel(IVecInt) - Method in class org.sat4j.minisat.core.Solver

findModel() - Method in interface org.sat4j.specs.IProblem

Look for a model satisfying all the clauses available in the problem.

findModel(IVecInt) - Method in interface org.sat4j.specs.IProblem

Look for a model satisfying all the clauses available in the problem.

findModel() - Method in class org.sat4j.tools.DimacsOutputSolver

findModel(IVecInt) - Method in class org.sat4j.tools.DimacsOutputSolver

findModel() - Method in class org.sat4j.tools.SolverDecorator

findModel(IVecInt) - Method in class org.sat4j.tools.SolverDecorator

findValue(int[]) - Method in class org.sat4j.reader.csp.Var

FirstUIP - Class in org.sat4j.minisat.uip

FirstUIP scheme introduced in Chaff.

FirstUIP() - Constructor for class org.sat4j.minisat.uip.FirstUIP

FixedLengthLearning<L extends ILits> - Class in org.sat4j.minisat.learning

A learning scheme for learning constraints of size smaller than a given constant.

FixedLengthLearning() - Constructor for class org.sat4j.minisat.learning.FixedLengthLearning

FixedLengthLearning(int) - Constructor for class org.sat4j.minisat.learning.FixedLengthLearning