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

T

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

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

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

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

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

toClause(ISolver) - Method in interface org.sat4j.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.csp.Predicate

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

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

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

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

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

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

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