com.articulate.sigma.semRewrite

Class RuleSet

java.lang.Object

com.articulate.sigma.semRewrite.RuleSet

Direct Known Subclasses:

RewriteRuleUtil

public class RuleSet
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	filename
java.util.ArrayList<Rule>	rules
java.util.ArrayList<java.lang.String>	warningSet

Constructor Summary

Constructors

Constructor and Description
RuleSet()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) A test method
RuleSet	parse(Lexer lex)
static RuleSet	readFile(java.lang.String fname)
static void	testReadRuleSet() A test method
static CNF	testRuleAndClausify() A test method
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

rules

public java.util.ArrayList<Rule> rules

warningSet

public java.util.ArrayList<java.lang.String> warningSet

filename

public static java.lang.String filename

Constructor Detail

RuleSet

public RuleSet()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

parse

public RuleSet parse(Lexer lex)

readFile

public static RuleSet readFile(java.lang.String fname)
                        throws java.lang.Exception

Throws:

java.lang.Exception

testRuleAndClausify

public static CNF testRuleAndClausify()

A test method

testReadRuleSet

public static void testReadRuleSet()

A test method

main

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

A test method