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.

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

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

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 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 interface org.sat4j.minisat.core.Constr

To obtain the activity of the constraint.

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

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

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

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

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

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

Get the value of the ExitCode

getExpectedNumberOfClauses() - Method in class org.sat4j.opt.AbstractSelectorVariablesDecorator

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

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.

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

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

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

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

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

getPhaseSelectionStrategy() - Method in interface org.sat4j.minisat.core.IOrder

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

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

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

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

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

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

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

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

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

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