Uses of Class
com.articulate.sigma.semRewrite.Rule

Packages that use Rule

Package	Description
com.articulate.sigma.semRewrite

Uses of Rule in com.articulate.sigma.semRewrite

Fields in com.articulate.sigma.semRewrite with type parameters of type Rule

Modifier and Type	Field and Description
java.util.ArrayList<Rule>	RuleSet.rules

Methods in com.articulate.sigma.semRewrite that return Rule

Modifier and Type	Method and Description
Rule	Rule.deepCopy()
static Rule	Rule.parse(Lexer lex) We won't know whether it's a fact or a rule until we read the first token, so the first token for LHS will always be already in st.sval
static Rule	Rule.parseString(java.lang.String s)

Methods in com.articulate.sigma.semRewrite with parameters of type Rule

Modifier and Type	Method and Description
static void	SemRewriteRuleCheck.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

Method parameters in com.articulate.sigma.semRewrite with type arguments of type Rule

Modifier and Type	Method and Description
static void	SemRewriteRuleCheck.printRuleSetTree(java.util.ArrayList<Rule> rset, java.util.Map<java.lang.Integer,java.util.HashSet<java.lang.Integer>> links) //TODO