Uses of Class
argutia.logic.Formula

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)
           
 
Argutia JavaDoc
23 décembre 2007