org.provarules.reference2.builtins

Class ProvaBuiltinImpl

java.lang.Object

org.provarules.reference2.builtins.ProvaBuiltinImpl

All Implemented Interfaces:

ProvaBuiltin, ProvaPredicate

Direct Known Subclasses:

ProvaAddGroupResultImpl, ProvaAssertAImpl, ProvaAssertImpl, ProvaAtImpl, ProvaAttachImpl, ProvaBoundImpl, ProvaByteStreamImpl, ProvaCacheImpl, ProvaCaptureEnumImpl, ProvaCloneImpl, ProvaConcatImpl, ProvaConstructorImpl, ProvaConsultImpl, ProvaCopyImpl, ProvaCopyStreamImpl, ProvaCutImpl, ProvaDeriveImpl, ProvaElementImpl, ProvaEqualsImpl, ProvaEqualsMinusImpl, ProvaExpressionLiteralImpl, ProvaFailImpl, ProvaFopenImpl, ProvaFreeImpl, ProvaGreaterEqualImpl, ProvaGreaterImpl, ProvaIamImpl, ProvaInitJoinImpl, ProvaInitPredicateJoinImpl, ProvaInsertImpl, ProvaJavaPredicateImpl, ProvaJoinTestImpl, ProvaLengthImpl, ProvaLessEqualImpl, ProvaLessImpl, ProvaListenImpl, ProvaMapMergeImpl, ProvaMatchImpl, ProvaMathAddImpl, ProvaMathDivideImpl, ProvaMathMultiplyImpl, ProvaMathRemainderImpl, ProvaMathSubtractImpl, ProvaMkListImpl, ProvaNotEqualsImpl, ProvaParseListImpl, ProvaParseNvImpl, ProvaPredicateJoinExitImpl, ProvaPredicateJoinTestImpl, ProvaPrintImpl, ProvaPrintlnImpl, ProvaReadEnumImpl, ProvaReceiveMsgImpl, ProvaReceiveMsgPImpl, ProvaReceiveMultImpl, ProvaRetractAllImpl, ProvaRetractImpl, ProvaReverseImpl, ProvaSendMsgImpl, ProvaSendMsgSyncImpl, ProvaSolveImpl, ProvaSparqlConnectImpl, ProvaSparqlDisconnectImpl, ProvaSparqlQueryImpl, ProvaSpawnImpl, ProvaStopPredicateJoinImpl, ProvaTemporalRuleRemoveImpl, ProvaTokenizeEnumImpl, ProvaTokenizeListImpl, ProvaTypeImpl, ProvaUnescapeImpl, ProvaUniqueIdImpl, ProvaUnlistenImpl, ProvaUpdateCacheImpl, ProvaUpdateImpl

public abstract class ProvaBuiltinImpl
extends java.lang.Object
implements ProvaBuiltin

Field Summary

Fields

Modifier and Type	Field and Description
protected ProvaKnowledgeBase	kb

Constructor Summary

Constructors

Constructor and Description
ProvaBuiltinImpl(ProvaKnowledgeBase kb, java.lang.String symbol)

Method Summary

Modifier and Type	Method and Description
void	addClause(ProvaRule clause)
void	addClauseA(ProvaRule clause)
boolean	equals(ProvaPredicate predicate)
int	getArity()
ProvaRuleSet	getClauseSet()
ProvaKnowledgeBase	getKnowledgeBase()
java.lang.String	getSymbol()
boolean	process_(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
abstract boolean	process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
void	setKnowledgeBase(ProvaKnowledgeBase kb)

Methods inherited from class java.lang.Object

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

Field Detail

kb

protected ProvaKnowledgeBase kb

Constructor Detail

ProvaBuiltinImpl

public ProvaBuiltinImpl(ProvaKnowledgeBase kb,
                        java.lang.String symbol)

Method Detail

process

public abstract boolean process(ProvaReagent prova,
                                ProvaDerivationNode node,
                                ProvaGoal goal,
                                java.util.List<ProvaLiteral> newLiterals,
                                ProvaRule query)

Specified by:

process in interface ProvaBuiltin

process_

public boolean process_(ProvaReagent prova,
                        ProvaDerivationNode node,
                        ProvaGoal goal,
                        java.util.List<ProvaLiteral> newLiterals,
                        ProvaRule query)

Specified by:

process_ in interface ProvaBuiltin

addClause

public void addClause(ProvaRule clause)

Specified by:

addClause in interface ProvaPredicate

addClauseA

public void addClauseA(ProvaRule clause)

Specified by:

addClauseA in interface ProvaPredicate

equals

public boolean equals(ProvaPredicate predicate)

Specified by:

equals in interface ProvaPredicate

getArity

public int getArity()

Specified by:

getArity in interface ProvaPredicate

getClauseSet

public ProvaRuleSet getClauseSet()

Specified by:

getClauseSet in interface ProvaPredicate

getKnowledgeBase

public ProvaKnowledgeBase getKnowledgeBase()

Specified by:

getKnowledgeBase in interface ProvaPredicate

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface ProvaPredicate

setKnowledgeBase

public void setKnowledgeBase(ProvaKnowledgeBase kb)

Specified by:

setKnowledgeBase in interface ProvaPredicate