org.provarules.reference2

Class ProvaRuleSetImpl

java.lang.Object

org.provarules.reference2.ProvaRuleSetImpl

All Implemented Interfaces:

ProvaRuleSet

public class ProvaRuleSetImpl
extends java.lang.Object
implements ProvaRuleSet

Constructor Summary

Constructors

Constructor and Description
ProvaRuleSetImpl(java.lang.String symbol)

Method Summary

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) Now implements pre-filtering by spotting mismatched constants in the source and target arguments
java.lang.String	getSymbol()
ProvaUnification	nextMatch(ProvaKnowledgeBase kb, ProvaGoal goal)
boolean	removeAllClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data) Remove only the clauses that are subsumed by the query.
void	removeClauses(java.lang.Object key)
boolean	removeClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data) Remove only the clause that is subsumed by the query.
void	removeClausesBySrc(java.lang.String src)
void	removeTemporalClause(long key) This is only used for removing temporal rules in inline reactions, including rcvMsg and @temporal_rule_control.
void	setClauses(java.util.List<ProvaRule> clauses)
java.lang.Object	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaRuleSetImpl

public ProvaRuleSetImpl(java.lang.String symbol)

Method Detail

setClauses

public void setClauses(java.util.List<ProvaRule> clauses)

getClauses

public java.util.List<ProvaRule> getClauses()

Specified by:

getClauses in interface ProvaRuleSet

getClauses

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

Now implements pre-filtering by spotting mismatched constants in the source and target arguments

Specified by:

getClauses in interface ProvaRuleSet

removeClauses

public void removeClauses(java.lang.Object key)

Specified by:

removeClauses in interface ProvaRuleSet

removeTemporalClause

public void removeTemporalClause(long key)

This is only used for removing temporal rules in inline reactions, including rcvMsg and @temporal_rule_control. TODO: Optimise rule storage for multi-key access

Specified by:

removeTemporalClause in interface ProvaRuleSet

removeClausesByMatch

public boolean removeClausesByMatch(ProvaKnowledgeBase kb,
                                    ProvaObject[] data)

Remove only the clause that is subsumed by the query.

Specified by:

removeClausesByMatch in interface ProvaRuleSet

removeAllClausesByMatch

public boolean removeAllClausesByMatch(ProvaKnowledgeBase kb,
                                       ProvaObject[] data)

Remove only the clauses that are subsumed by the query.

Specified by:

removeAllClausesByMatch in interface ProvaRuleSet

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface ProvaRuleSet

getArity

public int getArity()

Specified by:

getArity in interface ProvaRuleSet

add

public void add(ProvaRule clause)

Specified by:

add in interface ProvaRuleSet

addA

public void addA(ProvaRule clause)

Specified by:

addA in interface ProvaRuleSet

size

public java.lang.Object size()

Specified by:

size in interface ProvaRuleSet

addAll

public void addAll(ProvaRuleSet ruleSet)

Specified by:

addAll in interface ProvaRuleSet

addRuleToSrc

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

Specified by:

addRuleToSrc in interface ProvaRuleSet

removeClausesBySrc

public void removeClausesBySrc(java.lang.String src)

Specified by:

removeClausesBySrc in interface ProvaRuleSet

nextMatch

public ProvaUnification nextMatch(ProvaKnowledgeBase kb,
                                  ProvaGoal goal)

Specified by:

nextMatch in interface ProvaRuleSet