com.articulate.sigma.semRewrite

Class SemRewriteRuleCheck

java.lang.Object

com.articulate.sigma.semRewrite.SemRewriteRuleCheck

public class SemRewriteRuleCheck
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SemRewriteRuleCheck()

Method Summary

Modifier and Type	Method and Description
static java.util.Map<java.lang.Integer,java.util.HashSet<java.lang.Integer>>	checkRuleSet(RuleSet rs) Check the whole Ruleset.
static boolean	isCNFSubsumed(CNF subsumer, CNF subsumed) //TODO
static boolean	isCNFSubsumedNaive(CNF subsumer, CNF subsumed) check if CNF subsumed, naive implementation
static void	isRuleSubsumedByRuleSet(Rule r, RuleSet rs, java.util.ArrayList<java.lang.Integer> getSubsumedRules, java.util.ArrayList<java.lang.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
static void	printRuleSetTree(java.util.ArrayList<Rule> rset, java.util.Map<java.lang.Integer,java.util.HashSet<java.lang.Integer>> links) //TODO

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

printRuleSetTree

public static void printRuleSetTree(java.util.ArrayList<Rule> rset,
                                    java.util.Map<java.lang.Integer,java.util.HashSet<java.lang.Integer>> links)

//TODO

checkRuleSet

public static java.util.Map<java.lang.Integer,java.util.HashSet<java.lang.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,
                                           java.util.ArrayList<java.lang.Integer> getSubsumedRules,
                                           java.util.ArrayList<java.lang.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

isCNFSubsumedNaive

public static boolean isCNFSubsumedNaive(CNF subsumer,
                                         CNF subsumed)

check if CNF subsumed, naive implementation

isCNFSubsumed

public static boolean isCNFSubsumed(CNF subsumer,
                                    CNF subsumed)

//TODO