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

U

unassign(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

unassign(int) - Method in interface org.sat4j.minisat.core.ILits

UNDEFINED - Static variable in interface org.sat4j.minisat.core.ILits

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

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

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

M?

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

Updates information on the constraint in case of a backtrack

undo(int) - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

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

undo(int) - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses

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

Method called when a variable is unassigned.

undo(int) - Method in interface org.sat4j.minisat.core.Undoable

Method called when backtracking

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

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

Methode appelee quand la variable x est desaffectee.

Undoable - Interface in org.sat4j.minisat.core

Interface providing the undoable service.

undos(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

undos(int) - Method in interface org.sat4j.minisat.core.ILits

UnitPropagationListener - Interface in org.sat4j.minisat.core

Interface providing the unit propagation capability.

UNKNOWN - Static variable in class org.sat4j.ExitCode

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

unsafeGet(int) - Method in class org.sat4j.core.VecInt

unsafeGet(int) - Method in interface org.sat4j.specs.IVecInt

unsafePush(T) - Method in class org.sat4j.core.ReadOnlyVec

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

unsafePush(T) - Method in class org.sat4j.core.Vec

unsafePush(int) - Method in class org.sat4j.core.VecInt

unsafePush(T) - Method in interface org.sat4j.specs.IVec

To push an element in the vector when you know you have space for it.

unsafePush(int) - Method in interface org.sat4j.specs.IVecInt

Push the element in the Vector without verifying if there is room for it.

UNSATISFIABLE - Static variable in class org.sat4j.ExitCode

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

To be called when the activity of a literal changed.

updateVar(int) - Method in interface org.sat4j.minisat.core.IPhaseSelectionStrategy

To be called when the activity of a literal changed.

updateVar(int) - Method in class org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy

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

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

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

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

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

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

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

Appelee lorsque l'activite de la variable x a change.

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

usage() - Method in class org.sat4j.BasicLauncher

UserFixedPhaseSelectionStrategy - Class in org.sat4j.minisat.orders

Selection strategy where the phase selection is decided at init time and is not updated during the search.

UserFixedPhaseSelectionStrategy() - Constructor for class org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy