Fields from org.sat4j.core used by org.sat4j.pb

Click an entry in the table below to reveal the details of the references made to that element.

Reference Details

org.sat4j.core.VecInt.EMPTY

GETS_STATIC_FIELD
Reference LocationLine Number
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution()-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable()-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(boolean)-1

org.sat4j.ExitCode.UNSATISFIABLE

GETS_STATIC_FIELD
Reference LocationLine Number
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()-1

org.sat4j.minisat.core.Pair.backtrackLevel

PUT_FIELD
Reference LocationLine Number
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)-1

org.sat4j.minisat.core.Pair.reason

PUT_FIELD
Reference LocationLine Number
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)-1

Back to reference summary for org.sat4j.pb

Valid HTML 4.01 TransitionalValid XHTML 1.0 Strict