org.jbpt.bp.construct

Class ProjTARCreatorStateSpace

java.lang.Object

org.jbpt.bp.construct.AbstractRelSetCreator

org.jbpt.bp.construct.ProjTARCreatorStateSpace

All Implemented Interfaces:

RelSetCreator<NetSystem,Node>

public class ProjTARCreatorStateSpace
extends AbstractRelSetCreator
implements RelSetCreator<NetSystem,Node>

Implemented as a singleton, use getInstance().

Author:

matthias.weidlich

Field Summary

Fields

Modifier and Type	Field and Description
protected ProjectedStateSpace<Flow,Node,Place,Transition,Marking>	space

Method Summary

Methods

Modifier and Type	Method and Description
protected void	clear()
RelSet<NetSystem,Node>	deriveRelationSet(NetSystem pn) Returns the relation set for the given model.
RelSet<NetSystem,Node>	deriveRelationSet(NetSystem pn, Collection<Node> nodes) Returns the relation set for the given collection of entities of the model.
static ProjTARCreatorStateSpace	getInstance()

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

space

protected ProjectedStateSpace<Flow,Node,Place,Transition,Marking> space

Method Detail

getInstance

public static ProjTARCreatorStateSpace getInstance()

clear

protected void clear()

deriveRelationSet

public RelSet<NetSystem,Node> deriveRelationSet(NetSystem pn)

Description copied from interface: RelSetCreator

Returns the relation set for the given model. Depending on the concrete creator, the relations are computed for a distinguished set of entities. For instance, if the model is a Petri net, the relation set may be derived for all nodes or all transitions.

Specified by:

deriveRelationSet in interface RelSetCreator<NetSystem,Node>

Returns:

the relation set of the model

deriveRelationSet

public RelSet<NetSystem,Node> deriveRelationSet(NetSystem pn,
                                       Collection<Node> nodes)

Description copied from interface: RelSetCreator

Returns the relation set for the given collection of entities of the model. Creator classes may implicitly restrict this set. For instance, if the model is a Petri net, some creators may requires the set of entities to contain only transitions.

Specified by:

deriveRelationSet in interface RelSetCreator<NetSystem,Node>

Returns:

the relation set of the model