|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||