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

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.

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 class 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.core.IntQueue

toString() - Method in class 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.NegativeLiteralSelectionStrategy

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

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

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

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

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

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

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

toString() - Method in class org.sat4j.tools.DimacsStringSolver

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

TRUE - Static variable in class org.sat4j.minisat.core.Lbool

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

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