ProvaPredicate (prova 3.3.1 API)

All Known Subinterfaces:

ProvaBuiltin

All Known Implementing Classes:

ProvaAddGroupResultImpl, ProvaAssertAImpl, ProvaAssertImpl, ProvaAtImpl, ProvaAttachImpl, ProvaBoundImpl, ProvaBuiltinImpl, 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, ProvaPredicateImpl, ProvaPredicateJoinExitImpl, ProvaPredicateJoinTestImpl, ProvaPrintImpl, ProvaPrintlnImpl, ProvaReadEnumImpl, ProvaReceiveMsgImpl, ProvaReceiveMsgPImpl, ProvaReceiveMultImpl, ProvaRetractAllImpl, ProvaRetractImpl, ProvaReverseImpl, ProvaSendMsgImpl, ProvaSendMsgSyncImpl, ProvaSolveImpl, ProvaSparqlAskImpl, ProvaSparqlConnectImpl, ProvaSparqlDisconnectImpl, ProvaSparqlQueryImpl, ProvaSparqlSelectImpl, ProvaSpawnImpl, ProvaStopPredicateJoinImpl, ProvaTemporalRuleRemoveImpl, ProvaTokenizeEnumImpl, ProvaTokenizeListImpl, ProvaTypeImpl, ProvaUnescapeImpl, ProvaUniqueIdImpl, ProvaUnlistenImpl, ProvaUpdateCacheImpl, ProvaUpdateImpl
```
public interface ProvaPredicate
```

Method Summary

All Methods Instance Methods Abstract Methods
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 provaKnowledgeBaseImpl)`

Method Detail

getSymbol
```
java.lang.String getSymbol()
```

getArity
```
int getArity()
```

addClause
```
void addClause(ProvaRule clause)
```

addClauseA
```
void addClauseA(ProvaRule clause)
```

equals

boolean equals(ProvaPredicate predicate)

setKnowledgeBase

void setKnowledgeBase(ProvaKnowledgeBase provaKnowledgeBaseImpl)

getClauseSet
```
ProvaRuleSet getClauseSet()
```

getKnowledgeBase
```
ProvaKnowledgeBase getKnowledgeBase()
```

Interface ProvaPredicate

Method Summary

Method Detail

getSymbol

getArity

addClause

addClauseA

equals

setKnowledgeBase

getClauseSet

getKnowledgeBase