org.ginsim.service.tool.circuit

Class FunctionalityMergeOperator

java.lang.Object

org.colomoto.mddlib.operators.AbstractOperator

org.ginsim.service.tool.circuit.FunctionalityMergeOperator

All Implemented Interfaces:

org.colomoto.mddlib.MDDOperator

public class FunctionalityMergeOperator
extends org.colomoto.mddlib.operators.AbstractOperator

Merge functionality contexts. This operator is similar to a AND, but handles "negative" leaves (with value 2) in a special way.

Field Summary

Fields

Modifier and Type	Field and Description
static FunctionalityMergeOperator	MERGE

Method Summary

Modifier and Type	Method and Description
int	combine(org.colomoto.mddlib.MDDManager ddmanager, int first, int other)

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

Field Detail

MERGE

public static final FunctionalityMergeOperator MERGE

Method Detail

combine

public int combine(org.colomoto.mddlib.MDDManager ddmanager,
                   int first,
                   int other)