argutia.logic.syntax.node
Class CNFNode.Couple

java.lang.Object
  extended by argutia.logic.syntax.node.CNFNode.Couple
Enclosing class:
CNFNode
private static class CNFNode.Couple
extends Object
Field Summary
 List<Atom> negatifs
           
 List<Atom> positifs
           
 
Constructor Summary
CNFNode.Couple(List<Atom> positifs, List<Atom> negatifs)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Field Detail

negatifs

public final List<Atom> negatifs

positifs

public final List<Atom> positifs
Constructor Detail

CNFNode.Couple

public CNFNode.Couple(List<Atom> positifs,
                      List<Atom> negatifs)
Argutia JavaDoc
23 décembre 2007