org.ginsim.servicegui.tool.composition.integrationgrammar

Class IntegrationFunctionMDDFactory

java.lang.Object

org.ginsim.servicegui.tool.composition.integrationgrammar.IntegrationFunctionMDDFactory

public class IntegrationFunctionMDDFactory
extends Object

Constructor Summary

Constructors

Constructor and Description
IntegrationFunctionMDDFactory(CompositionContext context, org.colomoto.mddlib.MDDManager manager)

Method Summary

Modifier and Type	Method and Description
int	getMDD(IntegrationFunctionSpecification.IntegrationExpression expression, int instance)
int	getMDD(IntegrationFunctionSpecification.IntegrationExpression expression, int instance, boolean optimize)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IntegrationFunctionMDDFactory

public IntegrationFunctionMDDFactory(CompositionContext context,
                                     org.colomoto.mddlib.MDDManager manager)

Method Detail

getMDD

public int getMDD(IntegrationFunctionSpecification.IntegrationExpression expression,
                  int instance)

getMDD

public int getMDD(IntegrationFunctionSpecification.IntegrationExpression expression,
                  int instance,
                  boolean optimize)