proof.term
Class Appl

java.lang.Object
  |
  +--proof.term.Appl

All Implemented Interfaces:

java.io.Serializable, Term

public class Appl

extends java.lang.Object

implements Term

An application term.

See Also:

Serialized Form

Field Summary

Term	rand The argument.
Term	rator The term being applied.

Constructor Summary

Appl(Term rator, Term rand)
Constructor.

Method Summary

boolean	alphaEquals(Term x) Compares this term to another term, up to variable renaming.
Term	headReduceOnce() The interesting case for headReduceOnce.
Term	substitute(Var y, Term s) Substitute into this term.
java.lang.String	toString() Print this term as a String.

Methods inherited from class java.lang.Object

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

Field Detail

rator

public Term rator

The term being applied.

rand

public Term rand

The argument.

Constructor Detail

Appl

public Appl(Term rator,
            Term rand)

Constructor.

Method Detail

substitute

public Term substitute(Var y,
                       Term s)

Substitute into this term.

Specified by:

substitute in interface Term

Following copied from interface: proof.term.Term

Parameters:

y - the Var to substitute in for

t - the term to substitute in.

Returns:

the result of substituting

headReduceOnce

public Term headReduceOnce()

The interesting case for headReduceOnce.

Specified by:

headReduceOnce in interface Term

Following copied from interface: proof.term.Term

Returns:

this term, reduced once

alphaEquals

public boolean alphaEquals(Term x)

Description copied from interface: Term

Compares this term to another term, up to variable renaming.

Specified by:

alphaEquals in interface Term

Following copied from interface: proof.term.Term

Parameters:

t - the term to compare this to

Returns:

true iff this and t are equal (ignoring the names of variables)

toString

public java.lang.String toString()

Print this term as a String.

Specified by:

toString in interface Term

Overrides:

toString in class java.lang.Object