Uses of Interface
org.provarules.kernel2.ProvaRuleSet

Packages that use ProvaRuleSet

Package	Description
org.provarules.kernel2
org.provarules.reference2
org.provarules.reference2.builtins

Uses of ProvaRuleSet in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaRuleSet

Modifier and Type	Method and Description
ProvaRuleSet	ProvaPredicate.getClauseSet()
ProvaRuleSet	ProvaKnowledgeBase.getPredicates(java.lang.String symbol)
ProvaRuleSet	ProvaKnowledgeBase.getPredicates(java.lang.String symbol, int arity)

Methods in org.provarules.kernel2 with parameters of type ProvaRuleSet

Modifier and Type	Method and Description
void	ProvaRuleSet.addAll(ProvaRuleSet ruleSet)
void	ProvaKnowledgeBase.addClauseSetToSrc(ProvaRuleSet ruleSet, java.lang.String src)

Uses of ProvaRuleSet in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaRuleSet

Modifier and Type	Class and Description
class	ProvaRuleSetImpl

Methods in org.provarules.reference2 that return ProvaRuleSet

Modifier and Type	Method and Description
ProvaRuleSet	ProvaPredicateImpl.getClauseSet()
ProvaRuleSet	ProvaKnowledgeBaseImpl.getPredicates(java.lang.String symbol)
ProvaRuleSet	ProvaKnowledgeBaseImpl.getPredicates(java.lang.String symbol, int arity)

Methods in org.provarules.reference2 with parameters of type ProvaRuleSet

Modifier and Type	Method and Description
void	ProvaRuleSetImpl.addAll(ProvaRuleSet ruleSet)
void	ProvaKnowledgeBaseImpl.addClauseSetToSrc(ProvaRuleSet ruleSet, java.lang.String src)

Uses of ProvaRuleSet in org.provarules.reference2.builtins

Methods in org.provarules.reference2.builtins that return ProvaRuleSet

Modifier and Type	Method and Description
ProvaRuleSet	ProvaBuiltinImpl.getClauseSet()