FoldFunction
Keywords: uk.ac.bbk.dcs.automed.qproc.optimise.FoldFunction,FoldFunction class

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD