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

I

IConflict - Interface in org.sat4j.pb.constraints.pb

IDataStructurePB - Interface in org.sat4j.pb.constraints.pb

IInternalPBConstraintCreator - Interface in org.sat4j.pb.constraints.pb

incActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPb

increase activity value of the constraint

init() - Method in class org.sat4j.pb.orders.VarOrderHeapObjective

instance() - Static method in class org.sat4j.pb.SolverFactory

Access to the single instance of the factory.

InternalMapPBStructure - Class in org.sat4j.pb.constraints.pb

IPBSolver - Interface in org.sat4j.pb

A solver able to deal with pseudo boolean constraints.

isAssertive(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap

tests if the conflict is assertive (allows to imply a literal) at a particular decision level

isAssertive(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict

isAssertive(int) - Method in class org.sat4j.pb.constraints.pb.WatchPb

This predicate tests wether the constraint is assertive at decision level dl

isCardinality() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

isCardinality() - Method in class org.sat4j.pb.constraints.pb.MapPb

isSatisfiable() - Method in class org.sat4j.pb.OptToPBSATAdapter

isSatisfiable(boolean) - Method in class org.sat4j.pb.OptToPBSATAdapter

isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.OptToPBSATAdapter

isSatisfiable(IVecInt) - Method in class org.sat4j.pb.OptToPBSATAdapter