org.provarules.reference2

Class ProvaPredicateImpl

java.lang.Object

org.provarules.reference2.ProvaPredicateImpl

All Implemented Interfaces:

ProvaPredicate

public class ProvaPredicateImpl
extends java.lang.Object
implements ProvaPredicate

Constructor Summary

Constructors

Constructor and Description
ProvaPredicateImpl(java.lang.String symbol, int arity, ProvaKnowledgeBase kb)

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()
void	setKnowledgeBase(ProvaKnowledgeBase knowledgeBase)
void	setSymbol(java.lang.String symbol)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaPredicateImpl

public ProvaPredicateImpl(java.lang.String symbol,
                          int arity,
                          ProvaKnowledgeBase kb)

Method Detail

setSymbol

public void setSymbol(java.lang.String symbol)

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface ProvaPredicate

getArity

public int getArity()

Specified by:

getArity in interface ProvaPredicate

addClause

public void addClause(ProvaRule clause)

Specified by:

addClause in interface ProvaPredicate

addClauseA

public void addClauseA(ProvaRule clause)

Specified by:

addClauseA in interface ProvaPredicate

getClauseSet

public ProvaRuleSet getClauseSet()

Specified by:

getClauseSet in interface ProvaPredicate

equals

public boolean equals(ProvaPredicate predicate)

Specified by:

equals in interface ProvaPredicate

setKnowledgeBase

public void setKnowledgeBase(ProvaKnowledgeBase knowledgeBase)

Specified by:

setKnowledgeBase in interface ProvaPredicate

getKnowledgeBase

public ProvaKnowledgeBase getKnowledgeBase()

Specified by:

getKnowledgeBase in interface ProvaPredicate