Class RewriteRule

java.lang.Object
  |
  +--Clause
        |
        +--SpecialClause
              |
              +--RewriteRule

public class RewriteRule

extends SpecialClause

This class implements an oriented rule. There is no public constructor in this class, use static method makeFrom.

Author:

P. URSO

See Also:

Node

Fields inherited from class SpecialClause

num

Fields inherited from class Clause

conj, disj, HYPOTHESE_NUM, LEMMA_NUM

Method Summary

FunctionCallNode	leftSide() Returns the left side of body of this rule.
Node	rightSide() Returns the right side of body of this rule.
String	toStringN() Returns a string representation of this rule.
boolean	trueRule() Says if it is a true rewrite rule (not hypothesis).

Methods inherited from class SpecialClause

axiomNumber

Methods inherited from class Clause

body, conditions, emptyBody, equals, num, oriented, prefix, semiOriented, toString

Methods inherited from class java.lang.Object

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

Method Detail

trueRule

public boolean trueRule()

Says if it is a true rewrite rule (not hypothesis).

leftSide

public FunctionCallNode leftSide()

Returns the left side of body of this rule. As this rule is oriented it must be a function call node.

rightSide

public Node rightSide()

Returns the right side of body of this rule.

toStringN

public String toStringN()

Returns a string representation of this rule. The string representation consists of a list of condition, the imply sign " => ", and a body. The body is represented by a left side, a sign "->" , and a right side.

Overrides:

toStringN in class SpecialClause

Returns:

a string representation of this rule.

See Also:

EqualList