Uses of Class
argutia.logic.PropositionalVariable

Packages that use PropositionalVariable
argutia.logic   
 

Uses of PropositionalVariable in argutia.logic
 

Fields in argutia.logic declared as PropositionalVariable
private PropositionalVariable NegativeLiteral.oppose
           
 

Fields in argutia.logic with type parameters of type PropositionalVariable
private static Map<String,PropositionalVariable> PropositionalVariable.VALUES
          Map répertoriant les différentes instances de PropositionalVariable.
 

Methods in argutia.logic that return PropositionalVariable
 PropositionalVariable NegativeLiteral.getOppose()
           
static PropositionalVariable PropositionalVariable.getOrNew(String orthographe)
          Retourne la variable propositionnelle dont l'orthographe correspond à celle fourni en paramètre.
 

Constructors in argutia.logic with parameters of type PropositionalVariable
NegativeLiteral(PropositionalVariable oppose)
           
 
Argutia JavaDoc
23 décembre 2007