techniques.FOL
Class ClauseList

java.lang.Object
  |
  +--techniques.FOL.ClauseList

public class ClauseList
extends java.lang.Object


Constructor Summary
ClauseList()
           
ClauseList(Clause c)
           
ClauseList(Literal l)
           
ClauseList(java.util.Vector __clauses)
           
 
Method Summary
 java.util.Vector _clauses()
           
 void addClause(Clause p)
           
 Clause clauseAt(int i)
           
 ClauseList concatenate(ClauseList c2)
           
 boolean isFalse()
           
 boolean isTrue()
           
 void nconc(ClauseList c2)
           
 void print(java.io.PrintStream ps)
           
 int size()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ClauseList

public ClauseList()

ClauseList

public ClauseList(Clause c)

ClauseList

public ClauseList(Literal l)

ClauseList

public ClauseList(java.util.Vector __clauses)
Method Detail

_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)