Token

Class Function

java.lang.Object

Token.Token

Token.Function

public class Function
extends Token

Constructor Summary

Constructors

Constructor and Description
Function(int position, java.lang.String name, Automaton A, int number_of_arguments)

Method Summary

Methods

Modifier and Type	Method and Description
void	act(java.util.Stack<Expression> S)
java.lang.String	toString()

Methods inherited from class Token.Token

getArity, getPositionInPredicate, isOperator, put, setArity, setPositionInPredicate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Function

public Function(int position,
        java.lang.String name,
        Automaton A,
        int number_of_arguments)
         throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

act

public void act(java.util.Stack<Expression> S)
         throws java.lang.Exception

Specified by:

act in class Token

Throws:

java.lang.Exception