com.articulate.sigma.semRewrite

Class Rule

java.lang.Object

com.articulate.sigma.semRewrite.Rule

public class Rule
extends java.lang.Object

Rule ::= LHS ==> RHS. Obligatory rewrite LHS ?=> RHS. Optional rewrite /­- Clause. Permanent, unresourced fact Values for variables on LHS are unified with variables on the RHS

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Rule.RuleOp

Field Summary

Fields

Modifier and Type	Field and Description
Literal	clause
CNF	cnf
LHS	lhs
Rule.RuleOp	operator
RHS	rhs
int	startLine

Constructor Summary

Constructors

Constructor and Description
Rule()

Method Summary

Modifier and Type	Method and Description
Rule	deepCopy()
static void	main(java.lang.String[] args) A test method
static Rule	parse(Lexer lex) We won't know whether it's a fact or a rule until we read the first token, so the first token for LHS will always be already in st.sval
static Rule	parseString(java.lang.String s)
static void	testParse() 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

cnf

public CNF cnf

lhs

public LHS lhs

operator

public Rule.RuleOp operator

rhs

public RHS rhs

clause

public Literal clause

startLine

public int startLine

Constructor Detail

Rule

public Rule()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

deepCopy

public Rule deepCopy()

parse

public static Rule parse(Lexer lex)

We won't know whether it's a fact or a rule until we read the first token, so the first token for LHS will always be already in st.sval

parseString

public static Rule parseString(java.lang.String s)

testParse

public static void testParse()

A test method

main

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

A test method