org.colomoto.biolqm.tool.fixpoints

Class StableOperation

java.lang.Object

org.colomoto.mddlib.operators.AbstractOperator

org.colomoto.mddlib.operators.AbstractFlexibleOperator

org.colomoto.biolqm.tool.fixpoints.StableOperation

All Implemented Interfaces:

org.colomoto.mddlib.MDDOperator

public class StableOperation
extends org.colomoto.mddlib.operators.AbstractFlexibleOperator

MDD operation used to build a stability condition. The operation needs the current node and merges an existing condition with its function. Warning: it is NOT thread-safe. Use multiple instances of this class for multiple threads.

Author:

Aurelien Naldi

Nested Class Summary

Nested classes/interfaces inherited from class org.colomoto.mddlib.operators.AbstractFlexibleOperator

org.colomoto.mddlib.operators.AbstractFlexibleOperator.MergeAction

Constructor Summary

Constructors

Constructor and Description
StableOperation()

Method Summary

Modifier and Type	Method and Description
org.colomoto.mddlib.operators.AbstractFlexibleOperator.MergeAction	ask(org.colomoto.mddlib.MDDManager factory, org.colomoto.mddlib.NodeRelation type, int first, int other)
int	custom(org.colomoto.mddlib.MDDManager factory, org.colomoto.mddlib.NodeRelation type, int first, int other)
int	getStable(org.colomoto.mddlib.MDDManager factory, int known, int f, org.colomoto.mddlib.MDDVariable var) Build the stability condition for a node, and merge it with the existing condition.

Methods inherited from class org.colomoto.mddlib.operators.AbstractFlexibleOperator

combine, lock, setAction

Methods inherited from class org.colomoto.mddlib.operators.AbstractOperator

combine, multiple_leaves, recurse_multiple, recurse

Methods inherited from class java.lang.Object

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

Constructor Detail

StableOperation

public StableOperation()

Method Detail

getStable

public int getStable(org.colomoto.mddlib.MDDManager factory,
                     int known,
                     int f,
                     org.colomoto.mddlib.MDDVariable var)

Build the stability condition for a node, and merge it with the existing condition. Note: Freeing "known" and "f" is left under the caller responsibility.

Parameters:

factory - the MDD factory

known - ID of the existing result in factory

f - ID of the function of the considered node in the factory

var - the corresponding variable in the factory

Returns:

the ID of the merged stability condition

ask

public org.colomoto.mddlib.operators.AbstractFlexibleOperator.MergeAction ask(org.colomoto.mddlib.MDDManager factory,
                                                                              org.colomoto.mddlib.NodeRelation type,
                                                                              int first,
                                                                              int other)

Overrides:

ask in class org.colomoto.mddlib.operators.AbstractFlexibleOperator

custom

public int custom(org.colomoto.mddlib.MDDManager factory,
                  org.colomoto.mddlib.NodeRelation type,
                  int first,
                  int other)

Overrides:

custom in class org.colomoto.mddlib.operators.AbstractFlexibleOperator