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
Obtenir la valeur de l'activit?
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.WatchPb
retourne le niveau de backtrack : c'est-?
getClaDecay() - Method in class org.sat4j.minisat.core.SearchParams
 
getCoef(int) - Method in class org.sat4j.minisat.constraints.pb.WatchPb
Permet d'obtenir le i-???
getCoeffs() - Method in class org.sat4j.reader.ObjectiveFunction
 
getCoeffs() - Method in class org.sat4j.reader.OPBReader2005
 
getDegree() - Method in class org.sat4j.minisat.constraints.pb.WatchPb
 
getDSFactory() - Method in class org.sat4j.minisat.core.Solver
 
getFromPool(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
getFromPool(int) - Method in interface org.sat4j.minisat.core.ILits
 
getId() - Method in class org.sat4j.minisat.constraints.cnf.WLClause
 
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
 
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
 
getReason(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
getReason(int) - Method in interface org.sat4j.minisat.core.ILits
 
getStats() - Method in class org.sat4j.minisat.core.Solver
 
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
 
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.MixedDataStructureWithBinary
 
getVocabulary() - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary
 
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
 

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