A C F G I L M R S T V

T

TAUTOLOGIE - Static variable in class model.logic.Formula

TestScala - Class in scala

TestScala() - Constructor for class scala.TestScala

toLongString() - Method in class model.logic.Clause

Returns a detailed representation of the clause

toLongString() - Method in class model.logic.ClausesBase

toLongString() - Method in class model.logic.FormulaeBase

toLongString() - Method in class model.logic.Literal

toLongString() - Method in class model.logic.MSS

toLongString() - Method in class model.logic.MUS

toLongString() - Method in class model.logic.Variable

toModifiableString() - Method in class model.logic.Clause

Returns the clause under the form "l1, l2,... ln"

toShortString() - Method in class model.logic.Formula

toString() - Method in class model.logic.Clause

toString() - Method in class model.logic.ClausesBase

toString() - Method in class model.logic.Formula

toString() - Method in class model.logic.FormulaeBase

toString() - Method in class model.logic.Literal

toString() - Method in class model.logic.MSS

toString() - Method in class model.logic.MUS

toString() - Method in class model.logic.Variable

toStringWithIndexes(String, int) - Static method in class model.logic.Clause

Returns the string "stringBase + indiceSouhaite"

toTableString() - Method in class model.logic.MSS

toTableString() - Method in class model.logic.MUS