Uses of Class
model.logic.Clause

Packages that use Clause

model.logic

Uses of Clause in model.logic

Methods in model.logic that return types with arguments of type Clause

java.util.List<Clause>	FormulaeBase.getClauses()
java.util.List<Clause>	Formula.getClauses()
java.util.List<Clause>	ClausesBase.getClauses()

Methods in model.logic with parameters of type Clause

void	Formula.addClause(Clause c)
void	ClausesBase.addClause(Clause c)
int	Clause.compareTo(Clause o)
boolean	Formula.containsClause(Clause c)
boolean	Formula.removeClause(Clause c)
boolean	ClausesBase.removeClause(Clause c)

Method parameters in model.logic with type arguments of type Clause

void	Formula.setClauses(java.util.List<Clause> clauses)
void	ClausesBase.setClauses(java.util.List<Clause> clauses)

Constructors in model.logic with parameters of type Clause

Formula(int id, Clause clause)

Constructor parameters in model.logic with type arguments of type Clause

ClausesBase(java.util.List<Clause> clauses, long id, java.lang.String name, boolean isComingFromFile, java.lang.String originalFileName)

Formula(int id, java.util.List<Clause> listeClauses)

Formula(int id, java.util.List<Clause> clauses, java.lang.String formule)