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

G

get(int) - Method in class org.sat4j.core.Vec

get(int) - Method in class org.sat4j.core.VecInt

get(int) - Method in class org.sat4j.minisat.constraints.card.AtLeast

get(int) - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

get(int) - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

get(int) - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

get(int) - Method in class org.sat4j.minisat.constraints.cnf.CBClause

get(int) - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses

get(int) - Method in class org.sat4j.minisat.constraints.cnf.WLClause

Retourne le ieme literal de la clause.

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

Permet d'obtenir le i-???

get(int) - Method in interface org.sat4j.specs.IConstr

returns the ith literal in the constraint

get(int) - Method in interface org.sat4j.specs.IVec

get(int) - Method in interface org.sat4j.specs.IVecInt

getActivity() - Method in class org.sat4j.minisat.constraints.card.AtLeast

getActivity() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

Obtenir la valeur de l'activit?

getActivity() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

Returns the activity of the constraint

getActivity() - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

getActivity() - Method in class org.sat4j.minisat.constraints.cnf.CBClause

getActivity() - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses

getActivity() - Method in class org.sat4j.minisat.constraints.cnf.WLClause

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

Obtenir la valeur de l'activit???

getActivity() - Method in interface org.sat4j.minisat.core.Constr

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

retourne le niveau de backtrack : c'est-?

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

retourne le niveau de backtrack : c'est-?

getBeginTime() - Method in class org.sat4j.AbstractLauncher

Obtaining the current time spent since the beginning of the solving process.

getClaDecay() - Method in class org.sat4j.minisat.core.SearchParams

getCoef(int) - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

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

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

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

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

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

Permet d'obtenir le i-???

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

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

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

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

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

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

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

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

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

getColor() - Method in enum org.sat4j.ResultCode

getDegree() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

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

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

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

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

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

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

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

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

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

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

getExitCode() - Method in class org.sat4j.AbstractLauncher

Get the value of the ExitCode

getFiles() - Method in class org.sat4j.ResultsManager

getFromPool(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

getFromPool(int) - Method in interface org.sat4j.minisat.core.ILits

Translates a Dimacs literal into an internal representation literal.

getInformations(URL) - Static method in class org.sat4j.ResultsManager

getInformations(String) - Static method in class org.sat4j.ResultsManager

getInformations(Reader) - Static method in class org.sat4j.ResultsManager

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

returns the ith constraint in the solver.

getLevel(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

getLevel(int) - Method in interface org.sat4j.minisat.core.ILits

getLits() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

getLits() - Method in class org.sat4j.minisat.constraints.cnf.WLClause

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

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

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

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

getLogWriter() - Method in class org.sat4j.AbstractLauncher

getMark(int) - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

getMark(int) - Method in interface org.sat4j.minisat.core.IMarkableLits

To get the mark for a given literal.

getMarkedLiterals() - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

getMarkedLiterals(int) - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

getMarkedLiterals() - Method in interface org.sat4j.minisat.core.IMarkableLits

Returns the set of all marked literals.

getMarkedLiterals(int) - Method in interface org.sat4j.minisat.core.IMarkableLits

Returns that set of all the literals having a specific mark.

getMarkedVariables() - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

getMarkedVariables(int) - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

getMarkedVariables() - Method in interface org.sat4j.minisat.core.IMarkableLits

Returns the set of all marked variables.

getMarkedVariables(int) - Method in interface org.sat4j.minisat.core.IMarkableLits

Returns the set of all variables having a specific mark.

getMarks() - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

getMarks() - Method in interface org.sat4j.minisat.core.IMarkableLits

getmin() - Method in class org.sat4j.minisat.core.Heap

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

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

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

getReader() - Method in class org.sat4j.AbstractLauncher

getReason(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

getReason(int) - Method in interface org.sat4j.minisat.core.ILits

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

getStat() - Method in interface org.sat4j.specs.ISolver

To obtain a map of the available statistics from the solver.

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

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

getString(String) - Static method in class org.sat4j.Messages

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

getTimeout() - Method in interface org.sat4j.specs.ISolver

Useful to check the internal timeout of the solver.

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

getValue() - Method in enum org.sat4j.ResultCode

getVarDecay() - Method in class org.sat4j.minisat.core.SearchParams

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

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

getVocabulary() - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory

getVocabulary() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

getVocabulary() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

getVocabulary() - Method in class org.sat4j.minisat.constraints.cnf.WLClause

getVocabulary() - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinary

getVocabulary() - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary

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

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

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

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

getVocabulary() - Method in interface org.sat4j.minisat.core.DataStructureFactory

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

getVocabulary() - Method in class org.sat4j.minisat.orders.VarOrder

getVocabulary() - Method in class org.sat4j.minisat.orders.VarOrderHeap

getWatchesFor(int) - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory

getWatchesFor(int) - Method in class org.sat4j.minisat.constraints.ClausalDataStructureCB

getWatchesFor(int) - Method in interface org.sat4j.minisat.core.DataStructureFactory

GoodOPBReader - Class in org.sat4j.reader

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

GoodOPBReader(ISolver) - Constructor for class org.sat4j.reader.GoodOPBReader

growTo(int, T) - Method in class org.sat4j.core.Vec

growTo(int, int) - Method in class org.sat4j.core.VecInt

growTo(int, T) - Method in interface org.sat4j.specs.IVec

growTo(int, int) - Method in interface org.sat4j.specs.IVecInt