Uses of Class
argutia.logic.sets.SetOfFormulas

Packages that use SetOfFormulas
argutia.logic   
argutia.logic.argumentationFramework   
argutia.logic.resolution   
argutia.logic.sets   
argutia.logic.syntax   
 

Uses of SetOfFormulas in argutia.logic
 

Fields in argutia.logic declared as SetOfFormulas
private SetOfFormulas Formula.singleton
           
 

Methods in argutia.logic that return SetOfFormulas
 SetOfFormulas Formula.getSingleton()
           
 

Uses of SetOfFormulas in argutia.logic.argumentationFramework
 

Fields in argutia.logic.argumentationFramework declared as SetOfFormulas
private SetOfFormulas Argument.conclusion
           
private SetOfFormulas Situation.eFInterrogations
           
protected SetOfFormulas Agent.K
          Connaissances
private SetOfFormulas Argument.support
           
protected SetOfFormulas Agent.X
          Interdit
 

Fields in argutia.logic.argumentationFramework with type parameters of type SetOfFormulas
private Partition<Agent.Attitude,SetOfFormulas> Situation.p2Interrogations
           
 

Methods in argutia.logic.argumentationFramework that return SetOfFormulas
 SetOfFormulas Argument.getConclusion()
           
 SetOfFormulas Situation.getEdF()
           
 SetOfFormulas Agent.getK()
           
 SetOfFormulas Argument.getSupport()
           
 

Methods in argutia.logic.argumentationFramework that return types with arguments of type SetOfFormulas
 Partition<Agent.Attitude,SetOfFormulas> Situation.getPInterrogations()
           
 Partition<Agent.Attitude,SetOfFormulas> Agent.partitionnerInterrogations(FamilyOfSets interrogations)
           
 

Methods in argutia.logic.argumentationFramework with parameters of type SetOfFormulas
private Partition<Agent.Interdit,Formula> Agent.partitionnerInterdits(SetOfFormulas interdits)
           
 Partition<Agent.Attitude,Formula> Agent.partitionnerInterrogations(SetOfFormulas interrogations)
           
 

Constructors in argutia.logic.argumentationFramework with parameters of type SetOfFormulas
Agent(SetOfFormulas connaissances, SetOfFormulas interdits)
           
Agent(String title, SetOfFormulas connaissances, SetOfFormulas interdits)
           
Argument(SetOfFormulas support, SetOfFormulas conclusion, boolean attaque)
           
Situation(Agent agent, SetOfFormulas interrogations)
           
 

Uses of SetOfFormulas in argutia.logic.resolution
 

Methods in argutia.logic.resolution with parameters of type SetOfFormulas
 void Resolution.injecterEnsembleDeFormules(SetOfFormulas e)
           
 

Uses of SetOfFormulas in argutia.logic.sets
 

Fields in argutia.logic.sets declared as SetOfFormulas
static SetOfFormulas SetOfFormulas.CONTRADICTION
           
static SetOfFormulas SetOfFormulas.TAUTOLOGY
           
private SetOfFormulas MutableSetOfFormulas.unionDesNegations
           
 

Fields in argutia.logic.sets with type parameters of type SetOfFormulas
private Set<SetOfFormulas> MutableFamilyOfSets.contenu
           
 

Methods in argutia.logic.sets that return SetOfFormulas
 SetOfFormulas SetOfFormulas.getUnionDesNegations()
           
 SetOfFormulas MutableSetOfFormulas.getUnionDesNegations()
           
 SetOfFormulas ISetOfFormulas.getUnionDesNegations()
           
 SetOfFormulas SetOfFormulas.toImmutable()
           
 SetOfFormulas MutableSetOfFormulas.toImmutable()
           
 

Methods in argutia.logic.sets that return types with arguments of type SetOfFormulas
 UnmodifiableIterator<SetOfFormulas> MutableFamilyOfSets.iterator()
           
 UnmodifiableIterator<SetOfFormulas> FamilyOfSets.iterator()
           
 

Methods in argutia.logic.sets with parameters of type SetOfFormulas
 boolean MutableFamilyOfSets.add(SetOfFormulas e)
           
 boolean MutableFamilyOfSets.contains(SetOfFormulas e)
           
 boolean FamilyOfSets.contains(SetOfFormulas e)
           
 

Constructor parameters in argutia.logic.sets with type arguments of type SetOfFormulas
FamilyOfSets(Iterable<SetOfFormulas> source)
           
MutableFamilyOfSets(Iterable<SetOfFormulas> source)
           
 

Uses of SetOfFormulas in argutia.logic.syntax
 

Methods in argutia.logic.syntax that return SetOfFormulas
static SetOfFormulas Syntax.analyserTexte(Onglets.JTextPaneColore source, Onglets.JTextPaneColore sortieErreur)
           
 
Argutia JavaDoc
23 décembre 2007