Method Summary |
|
public void | addClauseSetChangeListener(ClauseSetChangeListener l) Add a clause set listener. |
public Clause | apply(java.util.Collection r) Apply a set of substitutions to a fact. |
public Clause | apply(Replacement r) Apply a substitution to a fact. |
public Object | getKey() Get the key for the object. |
public java.util.List | getNegativeLiterals() Get the negative literals. |
public java.util.List | getPositiveLiterals() Get the positive literals. |
public boolean | isAtomic() Indicates whether the clause is atomic. |
public boolean | isBound() |
public boolean | isEmpty() Indicates whether the clause is the empty clause. |
public boolean | isExecutable() Indicates whether the object (usually a term or a clause set) can be performed
using the java semantics. |
public boolean | isGround() Indicates whether the clause is ground (= does not have variables). |
public Iterator | predicates() Get an iterator iterating over the predicates contained in this clause set. |
public void | removeClauseSetChangeListener(ClauseSetChangeListener l) Remove a clause set listener. |
public String | toString() Convert the object to a string. |