com.articulate.sigma.semRewrite

Class RHS

java.lang.Object

com.articulate.sigma.semRewrite.RHS

public class RHS
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
CNF	cnf
Formula	form

Constructor Summary

Constructors

Constructor and Description
RHS()

Method Summary

Modifier and Type	Method and Description
RHS	applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings) Apply variable substitutions to this set of clauses TODO: note that a replace for ?A will erroneously match ?AB
RHS	deepCopy()
static void	main(java.lang.String[] args) A test method
static RHS	parse(Lexer lex, int startLine) The predicate must already have been read
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

form

public Formula form

cnf

public CNF cnf

Constructor Detail

RHS

public RHS()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

deepCopy

public RHS deepCopy()

parse

public static RHS parse(Lexer lex,
                        int startLine)

The predicate must already have been read

applyBindings

public RHS applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)

Apply variable substitutions to this set of clauses TODO: note that a replace for ?A will erroneously match ?AB

main

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

A test method