|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.functions.AbstractFunction
public abstract class AbstractFunction
This class implements functions on denotators. Functions may have any arity. The signature of function is indicated by implementing the getInputForm and getOutputForm methods.
Constructor Summary | |
---|---|
AbstractFunction()
|
Method Summary | |
---|---|
Function |
compose(Function f)
Returns a new function, the composition of this and f, i.e., this(f(x)). |
abstract Denotator |
evaluate(Denotator... denotators)
Evaluates the function with a list of arguments. |
abstract int |
getArity()
Returns the arity of the function. |
abstract Form |
getInputForm(int i)
Returns the i th argument form. |
java.lang.String |
getName()
Returns the name of the function. |
abstract Form |
getOutputForm()
Returns the result form. |
boolean |
hasSig(Form[] inputForms,
Form outputForm)
Checks if the function has the given signature. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public AbstractFunction()
Method Detail |
---|
public abstract Denotator evaluate(Denotator... denotators) throws RubatoException
evaluate
in interface Function
RubatoException
public abstract int getArity()
getArity
in interface Function
public Function compose(Function f) throws RubatoException
compose
in interface Function
RubatoException
- is composition failspublic java.lang.String getName()
getName
in interface Function
public abstract Form getInputForm(int i)
i
th argument form.
Must be implemented in a subclass.
getInputForm
in interface Function
public abstract Form getOutputForm()
getOutputForm
in interface Function
public boolean hasSig(Form[] inputForms, Form outputForm)
hasSig
in interface Function
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |