org.jbpt.bp

Class CausalBehaviouralProfile<M,N extends IEntity>

java.lang.Object

org.jbpt.bp.RelSet<M,N>

org.jbpt.bp.BehaviouralProfile<M,N>

org.jbpt.bp.CausalBehaviouralProfile<M,N>

All Implemented Interfaces:

IEntityModel<N>

public class CausalBehaviouralProfile<M,N extends IEntity>
extends BehaviouralProfile<M,N>

Captures the causal behavioural profile for a model (e.g., a Petri net). The causal behavioural profile adds the co-occurrence relation to the behavioural profile.

Author:

matthias.weidlich

Field Summary

Fields

Modifier and Type	Field and Description
static String	COOCCURRENCE_SYMBOL
protected boolean[][]	cooccurrenceMatrix Matrix that captures co-occurrence for the Cartesian product of entities over which the profile is defined.

Fields inherited from class org.jbpt.bp.RelSet

entities, lookAhead, matrix, model, RELATION_FAR_LOOKAHEAD

Constructor Summary

Constructors

Constructor and Description
CausalBehaviouralProfile(M model, Collection<N> entities) Creates a causal behavioural profile structure for a given Petri net and a dedicated collection of entities of the Petri net.
CausalBehaviouralProfile(M model, List<N> entities) Create a causal behavioural profile structure for a given Petri net and a given list of entities.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	areCooccurring(N n1, N n2) Checks whether two given entities are co-occurring.
boolean	equals(CausalBehaviouralProfile<M,N> profile) Checks equality for two causal behavioural profiles Returns false, if both matrices are not based on the same Petri net or on the same set of entities.
boolean	equalsForSharedNodes(CausalBehaviouralProfile<M,N> profile) Checks equality for two causal behavioural profiles only for the shared entities.
boolean[][]	getCooccurrenceMatrix()
static String	getSymbolForRelation(RelSetType rel) Returns a string representation for the behavioural profile relation or co-occurrence relation, respectively.
void	setCooccurrenceMatrix(boolean[][] cooccurrenceMatrix)
String	toString()

Methods inherited from class org.jbpt.bp.RelSet

areExclusive, areInOrder, areInterleaving, equals, equalsForSharedEntities, getComplement, getComplementRelation, getEntities, getEntitiesInRelation, getLookAhead, getMatrix, getModel, getRelationForEntities, getRelationForIndex, getRelationsByType, getReverseRelation, isEmpty, printAllEntities, setLookAhead, setMatrix

Methods inherited from class java.lang.Object

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

Field Detail

COOCCURRENCE_SYMBOL

public static final String COOCCURRENCE_SYMBOL

See Also:

Constant Field Values

cooccurrenceMatrix

protected boolean[][] cooccurrenceMatrix

Matrix that captures co-occurrence for the Cartesian product of entities over which the profile is defined. Those are defined by a list member of the behavioural profile.

Constructor Detail

CausalBehaviouralProfile

public CausalBehaviouralProfile(M model,
                        List<N> entities)

Create a causal behavioural profile structure for a given Petri net and a given list of entities.

Parameters:

pn -

entities -

CausalBehaviouralProfile

public CausalBehaviouralProfile(M model,
                        Collection<N> entities)

Creates a causal behavioural profile structure for a given Petri net and a dedicated collection of entities of the Petri net. Wrapper method that creates a list from the given collection.

Parameters:

the - Petri net

a - collection of entities of the Petri net

Method Detail

areCooccurring

public boolean areCooccurring(N n1,
                     N n2)

Checks whether two given entities are co-occurring.

Parameters:

n1 -

n2 -

Returns:

true, if both entities are co-occurring

getSymbolForRelation

public static String getSymbolForRelation(RelSetType rel)

Returns a string representation for the behavioural profile relation or co-occurrence relation, respectively.

Parameters:

a - relation of the causal behavioural profile

Returns:

a string representation of the relation

equals

public boolean equals(CausalBehaviouralProfile<M,N> profile)

Checks equality for two causal behavioural profiles Returns false, if both matrices are not based on the same Petri net or on the same set of entities. This check is done when equivalence is determined for the relations of the behavioural profile.

Parameters:

profile - that should be compared

Returns:

true, if the given profile is equivalent to this profile

equalsForSharedNodes

public boolean equalsForSharedNodes(CausalBehaviouralProfile<M,N> profile)

Checks equality for two causal behavioural profiles only for the shared entities. That is, we assess whether the profiles define equal relations (including co-occurrence) for all entities for which both profiles are defined. Returns false, if both matrices are not based on the same model. This check is done when equivalence is determined for the relations of the behavioural profile.

Parameters:

profile - that should be compared

Returns:

true, if the given profile is equivalent to this profile

toString

public String toString()

Overrides:

toString in class RelSet<M,N extends IEntity>

getCooccurrenceMatrix

public boolean[][] getCooccurrenceMatrix()

setCooccurrenceMatrix

public void setCooccurrenceMatrix(boolean[][] cooccurrenceMatrix)