org.jbpt.bp.construct

Interface RelSetCreator<M extends IEntityModel<N>,N extends IEntity>

All Known Implementing Classes:

BPCreatorNet, BPCreatorTree, BPCreatorUnfolding, ProjTARCreatorStateSpace, RelSetCreatorLog, RelSetCreatorTrace, RelSetCreatorUnfolding

public interface RelSetCreator<M extends IEntityModel<N>,N extends IEntity>

Interface for all computations that derive a relation set of a model.

Author:

matthias.weidlich

Method Summary

Methods

Modifier and Type	Method and Description
RelSet<M,N>	deriveRelationSet(M model) Returns the relation set for the given model.
RelSet<M,N>	deriveRelationSet(M model, Collection<N> entities) Returns the relation set for the given collection of entities of the model.

Method Detail

deriveRelationSet

RelSet<M,N> deriveRelationSet(M model)

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.

Parameters:

model, - the model

Returns:

the relation set of the model

deriveRelationSet

RelSet<M,N> deriveRelationSet(M model,
                            Collection<N> entities)

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.

Parameters:

model, - the model

a - collection of entities of the model

Returns:

the relation set of the model