|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use Formula | |
---|---|
argutia.logic | |
argutia.logic.argumentationFramework | |
argutia.logic.resolution | |
argutia.logic.sets |
Uses of Formula in argutia.logic |
---|
Fields in argutia.logic declared as Formula | |
---|---|
private Formula |
Formula.negation
|
Methods in argutia.logic that return Formula | |
---|---|
Formula |
Formula.getNegation()
|
Constructors in argutia.logic with parameters of type Formula | |
---|---|
Formula(Node arbre,
Formula negation)
|
Uses of Formula in argutia.logic.argumentationFramework |
---|
Fields in argutia.logic.argumentationFramework with type parameters of type Formula | |
---|---|
private Partition<Agent.Attitude,Formula> |
Situation.pInterrogations
|
protected Partition<Agent.Interdit,Formula> |
Agent.pX
|
Methods in argutia.logic.argumentationFramework that return types with arguments of type Formula | |
---|---|
Partition<Agent.Attitude,Formula> |
Situation.getPdFInterrogations()
|
Partition<Agent.Interdit,Formula> |
Agent.getPX()
|
private Partition<Agent.Interdit,Formula> |
Agent.partitionnerInterdits(SetOfFormulas interdits)
|
Partition<Agent.Attitude,Formula> |
Agent.partitionnerInterrogations(SetOfFormulas interrogations)
|
Methods in argutia.logic.argumentationFramework with parameters of type Formula | |
---|---|
boolean |
Agent.estXInferee(Formula f)
|
Agent.Attitude |
Agent.getAttitude(Formula f)
|
Uses of Formula in argutia.logic.resolution |
---|
Methods in argutia.logic.resolution with parameters of type Formula | |
---|---|
void |
Resolution.injecterFormule(Formula f)
|
Uses of Formula in argutia.logic.sets |
---|
Fields in argutia.logic.sets declared as Formula | |
---|---|
private Formula |
SetOfFormulas.fNegation
|
Fields in argutia.logic.sets with type parameters of type Formula | |
---|---|
private Set<Formula> |
MutableSetOfFormulas.contenu
|
Methods in argutia.logic.sets that return Formula | |
---|---|
Formula |
SetOfFormulas.getFormuleNegation()
|
Formula |
MutableSetOfFormulas.getFormuleNegation()
|
Formula |
ISetOfFormulas.getFormuleNegation()
|
Methods in argutia.logic.sets that return types with arguments of type Formula | |
---|---|
UnmodifiableIterator<Formula> |
SetOfFormulas.iterator()
|
UnmodifiableIterator<Formula> |
MutableSetOfFormulas.iterator()
|
Methods in argutia.logic.sets with parameters of type Formula | |
---|---|
boolean |
MutableSetOfFormulas.add(Formula f)
|
boolean |
SetOfFormulas.contains(Formula f)
|
boolean |
MutableSetOfFormulas.contains(Formula f)
|
boolean |
ISetOfFormulas.contains(Formula f)
|
Constructor parameters in argutia.logic.sets with type arguments of type Formula | |
---|---|
MutableSetOfFormulas(Iterable<Formula> source)
|
|
SetOfFormulas(Iterable<Formula> source)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||