org.ginsim.service.tool.circuit

Class ContextExtractor

java.lang.Object

org.ginsim.service.tool.circuit.ContextExtractor

public class ContextExtractor
extends Object

Extract functionality context for one interaction. This will compute a MDD giving the part of the state space for which the given function is affected by a specific regulator. More precisely, in the multi-valued case, it requires that crossing a specific threshold of the regulator will make the target cross another specific threshold.

The resulting MDD will have 3 types of leaves:

• 0 for the absence of effect
• 1 for a positive effect
• 2 for a negative effect

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
ContextExtractor(org.colomoto.mddlib.MDDManager ddmanager)

Method Summary

Modifier and Type	Method and Description
int	getContext(int function, org.colomoto.mddlib.MDDVariable regulator)
int	getContext(int function, org.colomoto.mddlib.MDDVariable regulator, int regulatorThreshold, int targetThreshold)

Methods inherited from class java.lang.Object

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

Constructor Detail

ContextExtractor

public ContextExtractor(org.colomoto.mddlib.MDDManager ddmanager)

Method Detail

getContext

public int getContext(int function,
                      org.colomoto.mddlib.MDDVariable regulator)

getContext

public int getContext(int function,
                      org.colomoto.mddlib.MDDVariable regulator,
                      int regulatorThreshold,
                      int targetThreshold)