Uses of Class
argutia.logic.Clause

Packages that use Clause
argutia.logic   
argutia.logic.resolution   
 

Uses of Clause in argutia.logic
 

Fields in argutia.logic with type parameters of type Clause
private Set<Clause> Formula.contenu
           
 

Methods in argutia.logic that return types with arguments of type Clause
 UnmodifiableIterator<Clause> Formula.iterator()
           
 

Methods in argutia.logic with parameters of type Clause
private void Formula.add(Clause c)
           
 

Uses of Clause in argutia.logic.resolution
 

Fields in argutia.logic.resolution with type parameters of type Clause
protected static Map<Clause,MaillonClause> MaillonClause.mC_pool
           
 Map<Clause,MaillonClause> Contexte.mC_values
           
 

Methods in argutia.logic.resolution with parameters of type Clause
static MaillonClause MaillonClause.getInstance(Contexte contexte, Clause c)
           
 void Resolution.injecterClause(Clause c)
          On suppose qu'on injecte des clauses uniquement avant un appel à Resolution.resoudre().
 

Constructors in argutia.logic.resolution with parameters of type Clause
MaillonClause(Contexte contexte, Clause c)
           
 
Argutia JavaDoc
23 décembre 2007