|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.functions.AbstractFunction
org.rubato.logeo.functions.ModuleMorphismFunction
public class ModuleMorphismFunction
A function from a simple denotator to a simple denotator, implement with a module morphism on the underlying modules.
Constructor Summary | |
---|---|
ModuleMorphismFunction(ModuleMorphism morphism)
Creates a function implemented by morphism . |
|
ModuleMorphismFunction(ModuleMorphism morphism,
SimpleForm resultForm)
Creates a function implemented by morphism . |
Method Summary | |
---|---|
Function |
compose(Function f)
Returns a new function, the composition of this and f, i.e., this(f(x)). |
Denotator |
evaluate(Denotator... denotators)
Evaluates the function with a list of arguments. |
int |
getArity()
Returns the arity of the function. |
Form |
getInputForm(int i)
Returns the i th argument form. |
ModuleMorphism |
getModuleMorphism()
|
java.lang.String |
getName()
Returns the name of the function. |
Form |
getOutputForm()
Returns the result form. |
Methods inherited from class org.rubato.logeo.functions.AbstractFunction |
---|
hasSig, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ModuleMorphismFunction(ModuleMorphism morphism) throws RubatoException
morphism
.
The domain and the codomain must be equal.
The result denotator has the same form as the input
denotator.
RubatoException
public ModuleMorphismFunction(ModuleMorphism morphism, SimpleForm resultForm) throws RubatoException
morphism
.
The domain and codomain are arbitrary, therefore
the form of the result denotator must be specified.
This (simple) form must have a module equal to
the codomain of the morphism.
RubatoException
Method Detail |
---|
public Denotator evaluate(Denotator... denotators) throws RubatoException
AbstractFunction
evaluate
in interface Function
evaluate
in class AbstractFunction
RubatoException
public int getArity()
AbstractFunction
getArity
in interface Function
getArity
in class AbstractFunction
public Function compose(Function f) throws RubatoException
AbstractFunction
compose
in interface Function
compose
in class AbstractFunction
RubatoException
- is composition failspublic java.lang.String getName()
AbstractFunction
getName
in interface Function
getName
in class AbstractFunction
public Form getInputForm(int i)
AbstractFunction
i
th argument form.
Must be implemented in a subclass.
getInputForm
in interface Function
getInputForm
in class AbstractFunction
public Form getOutputForm()
AbstractFunction
getOutputForm
in interface Function
getOutputForm
in class AbstractFunction
public ModuleMorphism getModuleMorphism()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |