org.colomoto.mddlib

Class MDDMapper

java.lang.Object

org.colomoto.mddlib.MDDMapper

public class MDDMapper
extends Object

Map Decision diagrams from one manager to another.

Constructor Summary

Constructors

Constructor and Description
MDDMapper(MDDManager sourceDDM, MDDManager targetDDM, IndexMapper indexMapper)

Method Summary

Modifier and Type	Method and Description
int	mapMDD(int node)

Methods inherited from class java.lang.Object

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

Constructor Detail

MDDMapper

public MDDMapper(MDDManager sourceDDM,
                 MDDManager targetDDM,
                 IndexMapper indexMapper)

Method Detail

mapMDD

public int mapMDD(int node)