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

Packages that use RuleSet

Package	Description
com.articulate.sigma.semRewrite

Uses of RuleSet in com.articulate.sigma.semRewrite

Subclasses of RuleSet in com.articulate.sigma.semRewrite

Modifier and Type	Class and Description
class	RewriteRuleUtil

Fields in com.articulate.sigma.semRewrite declared as RuleSet

Modifier and Type	Field and Description
RuleSet	Interpreter.rs

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

Modifier and Type	Method and Description
static RuleSet	Interpreter.canon(RuleSet rsin)
static RuleSet	Clausifier.clausify(RuleSet rs)
static RuleSet	RewriteRuleUtil.loadRuleSet() load RuleSet from "SemRewrite.txt"
RuleSet	RuleSet.parse(Lexer lex)
static RuleSet	RuleSet.readFile(java.lang.String fname)

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

Modifier and Type	Method and Description
static RuleSet	Interpreter.canon(RuleSet rsin)
static java.util.Map<java.lang.Integer,java.util.HashSet<java.lang.Integer>>	SemRewriteRuleCheck.checkRuleSet(RuleSet rs) Check the whole Ruleset.
static RuleSet	Clausifier.clausify(RuleSet rs)
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
static void	RewriteRuleUtil.updateCNF(int index, CNF f, RuleSet rs) update a Ruleset's indexed rule's CNF

Constructors in com.articulate.sigma.semRewrite with parameters of type RuleSet

Constructor and Description
Interpreter(RuleSet rsin)