public class TransformComplementaryNameMatchingPropag
extends java.lang.Object
Constructor and Description |
---|
TransformComplementaryNameMatchingPropag() |
Modifier and Type | Method and Description |
---|---|
static void |
ComplementaryNameMatchingPropag2PetriNet(PetriNet.PetriNet pn,
InstanceObject currentCompOrConnection,
java.util.Hashtable intermediaryInfoList) |
public TransformComplementaryNameMatchingPropag()
public static void ComplementaryNameMatchingPropag2PetriNet(PetriNet.PetriNet pn, InstanceObject currentCompOrConnection, java.util.Hashtable intermediaryInfoList)
pn
- PetriNet to which attach the subnetcurrentCompOrConnection
- InstanceObjectintermediaryInfoList
- EList of instances of class Structure, it contains the list of
intermediaryPlace built in the NameMatching Transformation for this component or connection