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

T

ternaryClauses(int, int, int) - Method in class org.sat4j.minisat.constraints.cnf.Lits23

TernaryClauses - Class in org.sat4j.minisat.constraints.cnf

TernaryClauses(ILits, int) - Constructor for class org.sat4j.minisat.constraints.cnf.TernaryClauses

ternaryClauses(int, int, int) - Method in interface org.sat4j.minisat.core.ILits23

TextOutputListener - Class in org.sat4j.minisat.core

Debugging Search Listener allowing to follow the search in a textual way.

TextOutputListener() - Constructor for class org.sat4j.minisat.core.TextOutputListener

TimeoutException - Exception in org.sat4j.specs

Exception launched when the solver cannot solve a problem within its allowed time.

TimeoutException() - Constructor for exception org.sat4j.specs.TimeoutException

Constructor for TimeoutException.

TimeoutException(String) - Constructor for exception org.sat4j.specs.TimeoutException

Constructor for TimeoutException.

TimeoutException(String, Throwable) - Constructor for exception org.sat4j.specs.TimeoutException

Constructor for TimeoutException.

TimeoutException(Throwable) - Constructor for exception org.sat4j.specs.TimeoutException

Constructor for TimeoutException.

toArray() - Method in class org.sat4j.core.Vec

toArray() - Method in interface org.sat4j.specs.IVec

Allow to access the internal representation of the vector as an array.

toBigInt(int) - Static method in class org.sat4j.minisat.constraints.pb.WatchPb

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.reader.csp.AllDiff

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in interface org.sat4j.reader.csp.Clausifiable

toClause(ISolver) - Method in class org.sat4j.reader.csp.Constant

toClause(ISolver) - Method in interface org.sat4j.reader.csp.Evaluable

Translates a variable over a domain into a set a clauses enforcing that exactly one value must be chosen in the domain.

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.reader.csp.Nogoods

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.reader.csp.Predicate

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.reader.csp.Supports

toClause(ISolver) - Method in class org.sat4j.reader.csp.Var

toMap() - Method in class org.sat4j.minisat.core.SolverStats

toString() - Method in class org.sat4j.core.Vec

toString() - Method in class org.sat4j.core.VecInt

toString() - Method in enum org.sat4j.ExitCode

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

Cha?

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

Cha?

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

Returns a string representation of the constraint.

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

toString(int) - Static method in class org.sat4j.minisat.constraints.cnf.Lits

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

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

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

toString(String) - Method in class org.sat4j.minisat.constraints.pb.PBSolver

toString(String) - Method in class org.sat4j.minisat.constraints.pb.PBSolverClause

toString(String) - Method in class org.sat4j.minisat.constraints.pb.PBSolverMerging

toString(String) - Method in class org.sat4j.minisat.constraints.pb.PBSolverWithImpliedClause

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

toString() - Method in class org.sat4j.minisat.core.IntQueue

toString() - Method in enum org.sat4j.minisat.core.Lbool

Textual representation for the truth value.

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

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

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

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

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

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

toString() - Method in class org.sat4j.minisat.learning.MiniSATLearning

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

toString() - Method in class org.sat4j.minisat.orders.JWOrder

toString() - Method in class org.sat4j.minisat.orders.MyOrder

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

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

Affiche les litteraux dans l'ordre de l'heuristique, la valeur de l'activite entre ().

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

toString() - Method in class org.sat4j.minisat.orders.VarOrderHeapRsat

toString() - Method in class org.sat4j.minisat.restarts.ArminRestarts

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

toString() - Method in class org.sat4j.minisat.restarts.MiniSATRestarts

toString() - Method in class org.sat4j.minisat.uip.DecisionUIP

toString() - Method in class org.sat4j.minisat.uip.FirstUIP

toString() - Method in class org.sat4j.reader.csp.Constant

toString() - Method in class org.sat4j.reader.csp.Var

toString(String) - Method in interface org.sat4j.specs.ISolver

Display a textual representation of the solver configuration.

toString(String) - Method in class org.sat4j.tools.DimacsOutputSolver

toString(String) - Method in class org.sat4j.tools.SolverDecorator

toVecBigInt(IVecInt) - Static method in class org.sat4j.minisat.constraints.pb.WatchPb

translate(int) - Method in class org.sat4j.reader.csp.Constant

translate(int) - Method in interface org.sat4j.reader.csp.Evaluable

Translates a value from the domain nto a SAT variable in Dimacs format.

translate(int) - Method in class org.sat4j.reader.csp.Var

TRUE - Static variable in class org.sat4j.reader.ExtendedDimacsReader

TRUE - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

TRUE - Static variable in class org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter