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()
AbstractClause
getArguments
in class AbstractClause
public PredicateIF getPredicate()
public void setPredicate(PredicateIF predicate)
public void addArgument(Object object)
public Collection getAllVariables()
AbstractClause
getAllVariables
in class AbstractClause
public Collection getAllLiterals()
AbstractClause
getAllLiterals
in class AbstractClause
public PredicateClause getReplacement()