A C F G I L M R S T V

C

Clause - Class in model.logic

This class represents the clause logic object.

Clause(List<Literal>, long) - Constructor for class model.logic.Clause

Initializes a clause from a list of literals and an id

Clause(long) - Constructor for class model.logic.Clause

Initializes a clause from an id

Clause(long, String, List<Variable>) - Constructor for class model.logic.Clause

Initializes a clause from an id, a string ans a list of atoms.

ClausesBase - Class in model.logic

This class represents a base of clauses.

ClausesBase(List<Clause>, long, String, boolean, String) - Constructor for class model.logic.ClausesBase

ClausesBase(long, String, boolean, String) - Constructor for class model.logic.ClausesBase

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

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

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

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

containsClause(Clause) - Method in class model.logic.Formula

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

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