org.ginsim.service.tool.circuit

Class ContextMergeOperator

java.lang.Object

org.colomoto.mddlib.operators.AbstractOperator

org.ginsim.service.tool.circuit.ContextMergeOperator

All Implemented Interfaces:

org.colomoto.mddlib.MDDOperator

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

This operation combines functionality contexts. It is a glorified AND or more accurately a multiplication. Functionality contexts have three possible leaves: 0, 1, and -1 denoting the lack of effect, positive effects and negative effects respectively.

As MDDs can not have negative values, -1 will be represented by leaves of value 2.

• Combining 0 with any node gives 0
• Combining 1 with any node gives this node
• Combining -1 with -1 (represented by 2 with 2) gives 1

Author:

Aurelien Naldi

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ContextMergeOperator()

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

Constructor Detail

ContextMergeOperator

protected ContextMergeOperator()

Method Detail

combine

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