com.articulate.sigma.semRewrite

Class RewriteRuleUtil

java.lang.Object

com.articulate.sigma.semRewrite.RuleSet

com.articulate.sigma.semRewrite.RewriteRuleUtil

public final class RewriteRuleUtil
extends RuleSet

Field Summary

Fields inherited from class com.articulate.sigma.semRewrite.RuleSet

filename, rules, warningSet

Method Summary

Modifier and Type	Method and Description
static RuleSet	loadRuleSet() load RuleSet from "SemRewrite.txt"
static void	main(java.lang.String[] args)
static void	updateCNF(int index, CNF f, RuleSet rs) update a Ruleset's indexed rule's CNF

Methods inherited from class com.articulate.sigma.semRewrite.RuleSet

parse, readFile, testReadRuleSet, testRuleAndClausify, toString

Methods inherited from class java.lang.Object

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

Method Detail

updateCNF

public static void updateCNF(int index,
                             CNF f,
                             RuleSet rs)

update a Ruleset's indexed rule's CNF

loadRuleSet

public static RuleSet loadRuleSet()

load RuleSet from "SemRewrite.txt"

main

public static void main(java.lang.String[] args)