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

FoldFunction

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

Method Detail

getName

public java.lang.String getName()

getArity

public int getArity()

getE

public Cell getE()