org.provarules.reference2

Class ProvaGuardedLiteralImpl

java.lang.Object

org.provarules.reference2.ProvaLiteralImpl

org.provarules.reference2.ProvaGuardedLiteralImpl

All Implemented Interfaces:

java.io.Serializable, ProvaLiteral, ProvaObject

public class ProvaGuardedLiteralImpl
extends ProvaLiteralImpl
implements ProvaLiteral

See Also:

Serialized Form

Field Summary

Fields inherited from class org.provarules.reference2.ProvaLiteralImpl

ground, line, metadata, predicate, sourceCode, terms, tlVars

Constructor Summary

Constructors

Constructor and Description
ProvaGuardedLiteralImpl(ProvaPredicate pred, ProvaList terms, java.util.List<ProvaLiteral> guard)

Method Summary

Modifier and Type	Method and Description
ProvaObject	cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaLiteral	cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
java.util.List<ProvaLiteral>	getGuard()
ProvaLiteral	rebuild(ProvaUnification unification)
ProvaLiteral	rebuildSource(ProvaUnification unification)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()

Methods inherited from class org.provarules.reference2.ProvaLiteralImpl

addClause, addClauseA, addMetadata, computeIfExpression, computeProvaIfExpression, computeSize, getAnswers, getCacheState, getGoal, getLine, getMetadata, getMetadata, getPredicate, getRecursivelyAssigned, getSourceCode, getTerms, isGround, markCompletion, setGoal, setGround, setLine, setMetadata, setSourceCode, setTerms, toString, unify, updateGround

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.provarules.kernel2.ProvaLiteral

addClause, addClauseA, addMetadata, getAnswers, getCacheState, getGoal, getLine, getMetadata, getMetadata, getPredicate, getSourceCode, getTerms, markCompletion, setGoal, setGround, setLine, setMetadata, setSourceCode, setTerms

Methods inherited from interface org.provarules.kernel2.ProvaObject

computeIfExpression, computeProvaIfExpression, computeSize, getRecursivelyAssigned, isGround, toString, unify, updateGround

Constructor Detail

ProvaGuardedLiteralImpl

public ProvaGuardedLiteralImpl(ProvaPredicate pred,
                               ProvaList terms,
                               java.util.List<ProvaLiteral> guard)

Method Detail

getGuard

public java.util.List<ProvaLiteral> getGuard()

Specified by:

getGuard in interface ProvaLiteral

Overrides:

getGuard in class ProvaLiteralImpl

collectVariables

public int collectVariables(long ruleId,
                            java.util.List<ProvaVariable> variables)

Specified by:

collectVariables in interface ProvaObject

Overrides:

collectVariables in class ProvaLiteralImpl

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

Overrides:

substituteVariables in class ProvaLiteralImpl

cloneWithBoundVariables

public ProvaLiteral cloneWithBoundVariables(ProvaUnification unification,
                                            java.util.List<ProvaVariable> variables,
                                            java.util.List<java.lang.Boolean> isConstant)

Specified by:

cloneWithBoundVariables in interface ProvaLiteral

Overrides:

cloneWithBoundVariables in class ProvaLiteralImpl

cloneWithBoundVariables

public ProvaObject cloneWithBoundVariables(java.util.List<ProvaVariable> variables,
                                           java.util.List<java.lang.Boolean> isConstant)

Specified by:

cloneWithBoundVariables in interface ProvaObject

Overrides:

cloneWithBoundVariables in class ProvaLiteralImpl

rebuild

public ProvaLiteral rebuild(ProvaUnification unification)

Specified by:

rebuild in interface ProvaLiteral

Overrides:

rebuild in class ProvaLiteralImpl

rebuildSource

public ProvaLiteral rebuildSource(ProvaUnification unification)

Specified by:

rebuildSource in interface ProvaLiteral

Overrides:

rebuildSource in class ProvaLiteralImpl

cloneWithVariables

public ProvaObject cloneWithVariables(java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

Overrides:

cloneWithVariables in class ProvaLiteralImpl

cloneWithVariables

public ProvaObject cloneWithVariables(long ruleId,
                                      java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

Overrides:

cloneWithVariables in class ProvaLiteralImpl

toString

public java.lang.String toString()

Overrides:

toString in class ProvaLiteralImpl