public class BPCreatorUnfolding extends AbstractRelSetCreator implements RelSetCreator<NetSystem,Node>
getInstance().| Modifier and Type | Field and Description |
|---|---|
protected List<Transition> |
nodesForTransitiveCausalityMatrixUnfolding |
protected OccurrenceNet |
occurrenceNet |
protected List<Transition> |
transitionsForWeakOrderMatrix |
protected boolean[][] |
transitiveCausalityMatrixUnfolding |
protected CompletePrefixUnfolding |
unfolding |
protected boolean[][] |
weakOrderMatrixForTransitions |
| Modifier and Type | Method and Description |
|---|---|
protected void |
clear() |
BehaviouralProfile<NetSystem,Node> |
deriveRelationSet(NetSystem pn)
Returns the relation set for the given model.
|
BehaviouralProfile<NetSystem,Node> |
deriveRelationSet(NetSystem pn,
Collection<Node> nodes)
Returns the relation set for the given collection of entities
of the model.
|
protected void |
deriveWeakOrderRelation() |
static BPCreatorUnfolding |
getInstance() |
setMatrixEntry, setMatrixEntryOrderprotected boolean[][] weakOrderMatrixForTransitions
protected List<Transition> transitionsForWeakOrderMatrix
protected CompletePrefixUnfolding unfolding
protected OccurrenceNet occurrenceNet
protected boolean[][] transitiveCausalityMatrixUnfolding
protected List<Transition> nodesForTransitiveCausalityMatrixUnfolding
public static BPCreatorUnfolding getInstance()
protected void clear()
public BehaviouralProfile<NetSystem,Node> deriveRelationSet(NetSystem pn)
RelSetCreatorderiveRelationSet in interface RelSetCreator<NetSystem,Node>public BehaviouralProfile<NetSystem,Node> deriveRelationSet(NetSystem pn, Collection<Node> nodes)
RelSetCreatorderiveRelationSet in interface RelSetCreator<NetSystem,Node>protected void deriveWeakOrderRelation()
Copyright © 2017. All rights reserved.