argutia.logic.syntax.node
Class CNFNode.Couple
java.lang.Object
argutia.logic.syntax.node.CNFNode.Couple
- Enclosing class:
- CNFNode
private static class CNFNode.Couple
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
negatifs
public final List<Atom> negatifs
positifs
public final List<Atom> positifs
CNFNode.Couple
public CNFNode.Couple(List<Atom> positifs,
List<Atom> negatifs)
Argutia JavaDoc
23 décembre 2007