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 A class for intergration of RewriteRule check tools To use: run in bash and follow the instruction

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(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 Map<Integer,HashSet<Integer>>	SemRewriteRuleCheck.checkRuleSet(RuleSet rs) Check the whole Ruleset.
static RuleSet	Clausifier.clausify(RuleSet rs)
static void	SemRewriteRuleCheck.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

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

Constructor and Description
Interpreter(RuleSet rsin)