public class StableOperation
extends org.colomoto.mddlib.operators.AbstractFlexibleOperator
| Constructor and Description |
|---|
StableOperation() |
| 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.
|
combine, lock, setActionpublic int getStable(org.colomoto.mddlib.MDDManager factory,
int known,
int f,
org.colomoto.mddlib.MDDVariable var)
factory - the MDD factoryknown - ID of the existing result in factoryf - ID of the function of the considered node in the factoryvar - the corresponding variable in the factorypublic org.colomoto.mddlib.operators.AbstractFlexibleOperator.MergeAction ask(org.colomoto.mddlib.MDDManager factory,
org.colomoto.mddlib.NodeRelation type,
int first,
int other)
ask in class org.colomoto.mddlib.operators.AbstractFlexibleOperatorpublic int custom(org.colomoto.mddlib.MDDManager factory,
org.colomoto.mddlib.NodeRelation type,
int first,
int other)
custom in class org.colomoto.mddlib.operators.AbstractFlexibleOperatorCopyright © 2012–2020. All rights reserved.