com.articulate.sigma.semRewrite

Class RuleSet

java.lang.Object

com.articulate.sigma.semRewrite.RuleSet

Direct Known Subclasses:

RewriteRuleUtil

public class RuleSet
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	filename
ArrayList<Rule>	rules
ArrayList<String>	warningSet

Constructor Summary

Constructors

Constructor and Description
RuleSet()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

rules

public ArrayList<Rule> rules

warningSet

public ArrayList<String> warningSet

filename

public static String filename

Constructor Detail

RuleSet

public RuleSet()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

parse

public RuleSet parse(Lexer lex)

readFile

public static RuleSet readFile(String fname)
                        throws Exception

Throws:

Exception

testRuleAndClausify

public static CNF testRuleAndClausify()

A test method

testReadRuleSet

public static void testReadRuleSet()

A test method

main

public static void main(String[] args)

A test method