org.jbpt.bp.construct

Class CBPCreatorUnfolding

java.lang.Object

org.jbpt.bp.construct.AbstractRelSetCreator

org.jbpt.bp.construct.CBPCreatorUnfolding

All Implemented Interfaces:

CBPCreator<NetSystem,Node>

public class CBPCreatorUnfolding
extends AbstractRelSetCreator
implements CBPCreator<NetSystem,Node>

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<Node,Node>	augmentationFunction
protected NetSystem	augmentedNet
protected Map<Transition,Set<Node>>	cutOfLocalConfContainsAugmentedPlaceForTransition
protected boolean[][]	eventContinuationMatrix
protected List<Transition>	nodesForTransitiveCausalityMatrixUnfolding
protected OccurrenceNet	occurrenceNet
protected List<Transition>	transitionsForEventContinutationMatrix
protected boolean[][]	transitiveCausalityMatrixUnfolding
protected CompletePrefixUnfolding	unfolding

Method Summary

Methods

Modifier and Type	Method and Description
protected void	clear()
protected void	createAugmentedNet(NetSystem pn)
CausalBehaviouralProfile<NetSystem,Node>	deriveCausalBehaviouralProfile(BehaviouralProfile<NetSystem,Node> profile) Returns the causal behavioural profile for the given behavioural profile.
CausalBehaviouralProfile<NetSystem,Node>	deriveCausalBehaviouralProfile(NetSystem pn) Returns the causal behavioural profile for all entities of the given model.
CausalBehaviouralProfile<NetSystem,Node>	deriveCausalBehaviouralProfile(NetSystem pn, Collection<Node> nodes) Returns the causal behavioural profile for the given collection of entities of the model.
protected CausalBehaviouralProfile<NetSystem,Node>	deriveCooccurrence(CausalBehaviouralProfile<NetSystem,Node> profile)
protected void	deriveCutOfLocalConfContainsAugmentedPlaceForTransition()
protected void	deriveEventContinuation()
static CBPCreatorUnfolding	getInstance()
protected boolean	isEventContinuation(Transition e, Transition f)

Methods inherited from class org.jbpt.bp.construct.AbstractRelSetCreator

setMatrixEntry, setMatrixEntryOrder

Methods inherited from class java.lang.Object

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

Field Detail

augmentedNet

protected NetSystem augmentedNet

augmentationFunction

protected Map<Node,Node> augmentationFunction

cutOfLocalConfContainsAugmentedPlaceForTransition

protected Map<Transition,Set<Node>> cutOfLocalConfContainsAugmentedPlaceForTransition

unfolding

protected CompletePrefixUnfolding unfolding

occurrenceNet

protected OccurrenceNet occurrenceNet

eventContinuationMatrix

protected boolean[][] eventContinuationMatrix

transitionsForEventContinutationMatrix

protected List<Transition> transitionsForEventContinutationMatrix

transitiveCausalityMatrixUnfolding

protected boolean[][] transitiveCausalityMatrixUnfolding

nodesForTransitiveCausalityMatrixUnfolding

protected List<Transition> nodesForTransitiveCausalityMatrixUnfolding

Method Detail

getInstance

public static CBPCreatorUnfolding getInstance()

deriveCausalBehaviouralProfile

public CausalBehaviouralProfile<NetSystem,Node> deriveCausalBehaviouralProfile(NetSystem pn)

Description copied from interface: CBPCreator

Returns the causal behavioural profile for all entities of the given model. Whether the profile is computed for all entities or only a subset of entities depends on the actual implementation of the creator.

Specified by:

deriveCausalBehaviouralProfile in interface CBPCreator<NetSystem,Node>

Returns:

the causal behavioural profile of the model

clear

protected void clear()

deriveCooccurrence

protected CausalBehaviouralProfile<NetSystem,Node> deriveCooccurrence(CausalBehaviouralProfile<NetSystem,Node> profile)

deriveCausalBehaviouralProfile

public CausalBehaviouralProfile<NetSystem,Node> deriveCausalBehaviouralProfile(NetSystem pn,
                                                                      Collection<Node> nodes)

Description copied from interface: CBPCreator

Returns the causal behavioural profile for the given collection of entities of the model. Whether this collection must comprise solely entities of a certain type depends on the implementation of the creator.

Specified by:

deriveCausalBehaviouralProfile in interface CBPCreator<NetSystem,Node>

Returns:

the causal behavioural profile of the model

deriveCutOfLocalConfContainsAugmentedPlaceForTransition

protected void deriveCutOfLocalConfContainsAugmentedPlaceForTransition()

deriveCausalBehaviouralProfile

public CausalBehaviouralProfile<NetSystem,Node> deriveCausalBehaviouralProfile(BehaviouralProfile<NetSystem,Node> profile)

Description copied from interface: CBPCreator

Returns the causal behavioural profile for the given behavioural profile. This method may be used if the behavioural profile has been computed already and the respective creator is used to add only the co-occurrence relation to yield the causal behavioural profile.

Specified by:

deriveCausalBehaviouralProfile in interface CBPCreator<NetSystem,Node>

Parameters:

profile - the behavioural profile

Returns:

the causal behavioural profile for the model to which the given behavioural profile belongs

createAugmentedNet

protected void createAugmentedNet(NetSystem pn)

deriveEventContinuation

protected void deriveEventContinuation()

isEventContinuation

protected boolean isEventContinuation(Transition e,
                          Transition f)