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

G

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

to obtain the i-th literal of the constraint

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

to obtain the activity value of the constraint

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

computes the level for the backtrack : the highest decision level for which the conflict is assertive.

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

retourne le niveau de backtrack : c'est-?

getCoef(int) - Method in class org.sat4j.pb.constraints.pb.AtLeastPB

getCoef(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB

getCoef(int) - Method in class org.sat4j.pb.constraints.pb.MixableCBClausePB

getCoef(int) - Method in interface org.sat4j.pb.constraints.pb.PBConstr

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

to obtain the coefficient of the i-th literal of the constraint

getCoef(int) - Method in class org.sat4j.pb.constraints.pb.WLClausePB

getCoeffs() - Method in class org.sat4j.pb.ObjectiveFunction

getCoeffs() - Method in class org.sat4j.pb.reader.OPBReader2005

getCoefs() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB

getCoefs() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB

getCoefs() - Method in class org.sat4j.pb.constraints.pb.MixableCBClausePB

getCoefs() - Method in interface org.sat4j.pb.constraints.pb.PBConstr

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

getCoefs() - Method in class org.sat4j.pb.constraints.pb.WLClausePB

getDegree() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB

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

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

getDegree() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB

getDegree() - Method in class org.sat4j.pb.constraints.pb.MixableCBClausePB

getDegree() - Method in interface org.sat4j.pb.constraints.pb.PBConstr

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

getDegree() - Method in class org.sat4j.pb.constraints.pb.WLClausePB

getExplanation() - Method in class org.sat4j.pb.core.PBSolver

getExplanation() - Method in class org.sat4j.pb.core.PBSolverCP

getExplanation() - Method in interface org.sat4j.pb.IPBSolver

getExplanation() - Method in class org.sat4j.pb.PBSolverDecorator

getListOfVariables() - Method in class org.sat4j.pb.reader.OPBEclipseReader2007

getListOfVariables() - Method in class org.sat4j.pb.reader.OPBReader2005

getLits() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB

getLits() - Method in class org.sat4j.pb.constraints.pb.MixableCBClausePB

getLits() - Method in interface org.sat4j.pb.constraints.pb.PBConstr

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

getObjectiveFunction() - Method in class org.sat4j.pb.reader.OPBReader2005

getVars() - Method in class org.sat4j.pb.ObjectiveFunction

getVars() - Method in class org.sat4j.pb.reader.OPBReader2005

getVocabulary() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB

getVocabulary() - Method in class org.sat4j.pb.constraints.pb.MixableCBClausePB

getVocabulary() - Method in interface org.sat4j.pb.constraints.pb.PBConstr

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

GoodOPBReader - Class in org.sat4j.pb.reader

This class is a quick hack to read opb formatted files.

GoodOPBReader(IPBSolver) - Constructor for class org.sat4j.pb.reader.GoodOPBReader