org.provarules.reference2.builtins

Class ProvaCutImpl

java.lang.Object

org.provarules.reference2.builtins.ProvaBuiltinImpl

org.provarules.reference2.builtins.ProvaCutImpl

All Implemented Interfaces:

ProvaBuiltin, ProvaPredicate

public class ProvaCutImpl
extends ProvaBuiltinImpl

Field Summary

Fields inherited from class org.provarules.reference2.builtins.ProvaBuiltinImpl

kb

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	getSymbol()
boolean	process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Methods inherited from class org.provarules.reference2.builtins.ProvaBuiltinImpl

addClause, addClauseA, equals, getArity, getClauseSet, getKnowledgeBase, process_, setKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaCutImpl

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

Method Detail

process

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

Specified by:

process in interface ProvaBuiltin

Specified by:

process in class ProvaBuiltinImpl

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface ProvaPredicate

Overrides:

getSymbol in class ProvaBuiltinImpl