ProvaRuleSet (prova 3.3.0 API)

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`add(ProvaRule clause)`
`void`	`addA(ProvaRule clause)`
`void`	`addAll(ProvaRuleSet ruleSet)`
`void`	`addRuleToSrc(ProvaRuleImpl rule, java.lang.String src)`
`int`	`getArity()`
`java.util.List<ProvaRule>`	`getClauses()`
`java.util.List<ProvaRule>`	`getClauses(java.lang.Object key, ProvaObject[] source)`
`java.lang.String`	`getSymbol()`
`ProvaUnification`	`nextMatch(ProvaKnowledgeBase kb, ProvaGoal goal)`
`boolean`	`removeAllClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data)`
`void`	`removeClauses(java.lang.Object key)`
`boolean`	`removeClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data)`
`void`	`removeClausesBySrc(java.lang.String src)`
`void`	`removeTemporalClause(long key)`
`java.lang.Object`	`size()`

java.util.List<ProvaRule> getClauses(java.lang.Object key,
                                     ProvaObject[] source)

void removeClauses(java.lang.Object key)

boolean removeClausesByMatch(ProvaKnowledgeBase kb,
                             ProvaObject[] data)

boolean removeAllClausesByMatch(ProvaKnowledgeBase kb,
                                ProvaObject[] data)

void addRuleToSrc(ProvaRuleImpl rule,
                  java.lang.String src)

void removeClausesBySrc(java.lang.String src)

ProvaUnification nextMatch(ProvaKnowledgeBase kb,
                           ProvaGoal goal)

Interface ProvaRuleSet