Uses of Class
argutia.logic.argumentationFramework.Agent.Interdit

Packages that use Agent.Interdit
argutia.logic.argumentationFramework   
 

Uses of Agent.Interdit in argutia.logic.argumentationFramework
 

Fields in argutia.logic.argumentationFramework with type parameters of type Agent.Interdit
protected Partition<Agent.Interdit,Formula> Agent.pX
           
 

Methods in argutia.logic.argumentationFramework that return Agent.Interdit
static Agent.Interdit Agent.Interdit.valueOf(String name)
          Returns the enum constant of this type with the specified name.
static Agent.Interdit[] Agent.Interdit.values()
          Returns an array containing the constants of this enum type, in the order they're declared.
 

Methods in argutia.logic.argumentationFramework that return types with arguments of type Agent.Interdit
 Partition<Agent.Interdit,Formula> Agent.getPX()
           
private Partition<Agent.Interdit,Formula> Agent.partitionnerInterdits(SetOfFormulas interdits)
           
 
Argutia JavaDoc
23 décembre 2007