techniques.FOL
Class ClauseList
java.lang.Object
|
+--techniques.FOL.ClauseList
- public class ClauseList
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ClauseList
public ClauseList()
ClauseList
public ClauseList(Clause c)
ClauseList
public ClauseList(Literal l)
ClauseList
public ClauseList(java.util.Vector __clauses)
_clauses
public java.util.Vector _clauses()
addClause
public void addClause(Clause p)
isFalse
public boolean isFalse()
isTrue
public boolean isTrue()
clauseAt
public Clause clauseAt(int i)
size
public int size()
concatenate
public ClauseList concatenate(ClauseList c2)
nconc
public void nconc(ClauseList c2)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
print
public void print(java.io.PrintStream ps)