uk.ac.bbk.dcs.automed.qproc.optimise
Class FoldFunction

java.lang.Object
  uk.ac.bbk.dcs.automed.qproc.optimise.FoldFunction

public class FoldFunction
extends java.lang.Object

Constructor Summary

FoldFunction(java.lang.String name, int arity, java.lang.String e)

FoldFunction(java.lang.String name, int arity, java.lang.String f, java.lang.String op, java.lang.String e)

Method Summary

void	finalize()
int	getArity()
Cell	getE()
java.lang.String	getName()

Methods inherited from class java.lang.Object

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

Constructor Detail

FoldFunction

public FoldFunction(java.lang.String name,
                    int arity,
                    java.lang.String f,
                    java.lang.String op,
                    java.lang.String e)

FoldFunction

public FoldFunction(java.lang.String name,
                    int arity,
                    java.lang.String e)

Method Detail

finalize

public void finalize()

Overrides:

finalize in class java.lang.Object

getName

public java.lang.String getName()

getArity

public int getArity()

getE

public Cell getE()