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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, 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)
             throws java.lang.Exception

Throws:

java.lang.Exception

FoldFunction

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

Throws:

java.lang.Exception

Method Detail

getName

public java.lang.String getName()

getArity

public int getArity()

getE

public Cell getE()