Uses of Class
argutia.logic.NegativeLiteral

Packages that use NegativeLiteral
argutia.logic   
 

Uses of NegativeLiteral in argutia.logic
 

Fields in argutia.logic declared as NegativeLiteral
private NegativeLiteral PropositionalVariable.oppose
          Littéral opposé, c'est-à-dire la négation de la variable propositionnelle.
 

Methods in argutia.logic that return NegativeLiteral
 NegativeLiteral PropositionalVariable.getOppose()
          Retourne le littéral opposé, c'est-à-dire la négation de cette variable propositionnelle.
 
Argutia JavaDoc
23 décembre 2007