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

G

gateFalse(int) - Method in class org.sat4j.tools.GateTranslator

translate y <=> FALSE into a clause.

GateTranslator - Class in org.sat4j.tools

Utility class to easily feed a SAT solver using logical gates.

GateTranslator(ISolver) - Constructor for class org.sat4j.tools.GateTranslator

gateTrue(int) - Method in class org.sat4j.tools.GateTranslator

translate y <=> TRUE into a clause.

GeneralizedSupportEncoding - Class in org.sat4j.reader.csp

GenericOptLauncher - Class in org.sat4j

GenericOptLauncher() - Constructor for class org.sat4j.GenericOptLauncher

GentSupports - Class in org.sat4j.reader.csp

GentSupports(int, int) - Constructor for class org.sat4j.reader.csp.GentSupports

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

to obtain the i-th literal of the constraint

get(int) - Method in interface org.sat4j.reader.csp.Domain

get(int) - Method in class org.sat4j.reader.csp.EnumeratedDomain

get(int) - Method in class org.sat4j.reader.csp.RangeDomain

get(int) - Method in class org.sat4j.reader.csp.SingletonDomain

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

to obtain the activity value of the constraint

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

To obtain the activity of the constraint.

getActivityPercent() - Method in class org.sat4j.minisat.learning.ActiveLearning

getBacktrackLevel(int) - Method in class org.sat4j.minisat.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.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

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

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

getCoeffs() - Method in class org.sat4j.opt.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

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

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

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

getFactor() - Method in class org.sat4j.minisat.restarts.LubyRestarts

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

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

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

getLimit() - Method in class org.sat4j.minisat.learning.ActiveLearning

getLimit() - Method in class org.sat4j.minisat.learning.ClauseOnlyLearning

getLimit() - Method in class org.sat4j.minisat.learning.PercentLengthLearning

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

getMaxLength() - Method in class org.sat4j.minisat.learning.FixedLengthLearning

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

getPeriod() - Method in class org.sat4j.minisat.orders.PureOrder

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.DimacsOutputSolver

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.DimacsOutputSolver

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.opt.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.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