public class PredicateClause extends AbstractClause
| Modifier and Type | Field and Description |
|---|---|
protected List |
arguments |
protected PredicateIF |
predicate |
| Constructor and Description |
|---|
PredicateClause() |
PredicateClause(PredicateIF predicate) |
PredicateClause(PredicateIF predicate,
List arguments) |
| Modifier and Type | Method and Description |
|---|---|
void |
addArgument(Object object) |
Collection |
getAllLiterals()
INTERNAL: Returns all the literals used by this clause as
parameters.
|
Collection |
getAllVariables()
INTERNAL: Returns all the variables bound by this clause when it
is satisfied.
|
List |
getArguments()
INTERNAL: Returns the arguments of this clause.
|
PredicateIF |
getPredicate() |
PredicateClause |
getReplacement()
INTERNAL: Returns an equivalent, but more efficient, clause, if
such a clause is possible; if not returns itself.
|
void |
setPredicate(PredicateIF predicate) |
String |
toString() |
protected PredicateIF predicate
protected List arguments
public PredicateClause()
public PredicateClause(PredicateIF predicate)
public PredicateClause(PredicateIF predicate, List arguments)
public List getArguments()
AbstractClausegetArguments in class AbstractClausepublic PredicateIF getPredicate()
public void setPredicate(PredicateIF predicate)
public void addArgument(Object object)
public Collection getAllVariables()
AbstractClausegetAllVariables in class AbstractClausepublic Collection getAllLiterals()
AbstractClausegetAllLiterals in class AbstractClausepublic PredicateClause getReplacement()