com.articulate.sigma.semRewrite

Class SemRewriteRuleCheck

java.lang.Object

com.articulate.sigma.semRewrite.SemRewriteRuleCheck

public class SemRewriteRuleCheck
extends Object

A class for check Rewrite Rule subsume condition Functions: checkRuleSet will check the rule set subsume condition isRuleSubsumedByRuleSet will check the rule subsume condition with the exsiting ruleset

Constructor Summary

Constructors

Constructor and Description
SemRewriteRuleCheck()

Method Summary

Modifier and Type	Method and Description
static Map<Integer,HashSet<Integer>>	checkRuleSet(RuleSet rs) Check the whole Ruleset.
static void	isRuleSubsumedByRuleSet(Rule r, RuleSet rs, ArrayList<Integer> getSubsumedRules, ArrayList<Integer> subsumerRules) get all the Rules in Ruleset that would be subsumed or subsums the rule r should pass in the arraylist as result space

Methods inherited from class java.lang.Object

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

Constructor Detail

SemRewriteRuleCheck

public SemRewriteRuleCheck()

Method Detail

checkRuleSet

public static Map<Integer,HashSet<Integer>> checkRuleSet(RuleSet rs)

Check the whole Ruleset. Print all possible subsumptions. Change isIgnoreCNFOnRight value to control if CNF on right rule conflict should be printed.

isRuleSubsumedByRuleSet

public static void isRuleSubsumedByRuleSet(Rule r,
                                           RuleSet rs,
                                           ArrayList<Integer> getSubsumedRules,
                                           ArrayList<Integer> subsumerRules)

get all the Rules in Ruleset that would be subsumed or subsums the rule r should pass in the arraylist as result space