Class SpecialClause

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

Direct Known Subclasses:

RewriteRule

public class SpecialClause

extends Clause

This class implements an special clause (axioms, hypotheses or lemma).

Author:

P. URSO

See Also:

EqualList

Field Summary

protected int

num Clause number in specification.

Fields inherited from class Clause

conj, disj, HYPOTHESE_NUM, LEMMA_NUM

Constructor Summary

SpecialClause(EqualList conj, EqualList disj, int number)
Constructor of a special clause.

Method Summary

int	axiomNumber() Returns the number of the axiom.
String	toStringN() Returns a string representation of this clause.

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

Field Detail

num

protected int num

Clause number in specification.

Constructor Detail

SpecialClause

public SpecialClause(EqualList conj,
                     EqualList disj,
                     int number)

Constructor of a special clause.

Parameters:

conj - conjonction part of the clause.

disj - disjonction part of the clause.

number - the clause number.

Method Detail

axiomNumber

public int axiomNumber()

Returns the number of the axiom.

Returns:

the number of the axiom, 0 if it is not an axiom.

toStringN

public String toStringN()

Returns a string representation of this clause. The string representation consists of the number of the special clause enclosed by brackets "[]" followed by the clause representation.

Returns:

a string representation of this clause.

See Also:

Clause