public class OverwriteOperator extends AbstractFlexibleOperator
AbstractFlexibleOperator.MergeAction| Modifier and Type | Method and Description |
|---|---|
int |
custom(MDDManager ddmanager,
NodeRelation type,
int first,
int other)
put the CUSTOM value in t and implement this function to add more complex behaviours.
|
static MDDOperator |
getOverwriteAction(int value) |
ask, combine, lock, setActioncombine, multiple_leaves, recurse_multiple, recursepublic static MDDOperator getOverwriteAction(int value)
public int custom(MDDManager ddmanager, NodeRelation type, int first, int other)
AbstractFlexibleOperatorcustom in class AbstractFlexibleOperatorfirst - value or level of the first nodeother - value or level of the other nodeCopyright © 2009–2020. All rights reserved.