org.jbpt.bp.construct

Class AbstractRelSetCreator

java.lang.Object

org.jbpt.bp.construct.AbstractRelSetCreator

Direct Known Subclasses:

BPCreatorNet, BPCreatorTree, BPCreatorUnfolding, CBPCreatorNet, CBPCreatorTrace, CBPCreatorTree, CBPCreatorUnfolding, ProjTARCreatorStateSpace, RelSetCreatorLog, RelSetCreatorTrace, RelSetCreatorUnfolding

public abstract class AbstractRelSetCreator
extends Object

Abstract super class for all computations of relation sets.

Author:

matthias.weidlich

Constructor Summary

Constructors

Constructor and Description
AbstractRelSetCreator()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	setMatrixEntry(RelSetType[][] matrix, int i, int j, RelSetType type) As the matrix of a relation set is symmetric for the exclusive and interleaving relation, we use this procedure to set these dependency between two nodes.
protected void	setMatrixEntryOrder(RelSetType[][] matrix, int from, int to) Sets the matrix entry for two indices and an order relation of the relation set.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractRelSetCreator

public AbstractRelSetCreator()

Method Detail

setMatrixEntry

protected void setMatrixEntry(RelSetType[][] matrix,
                  int i,
                  int j,
                  RelSetType type)

As the matrix of a relation set is symmetric for the exclusive and interleaving relation, we use this procedure to set these dependency between two nodes.

Parameters:

i -

j -

behavioural - relation

setMatrixEntryOrder

protected void setMatrixEntryOrder(RelSetType[][] matrix,
                       int from,
                       int to)

Sets the matrix entry for two indices and an order relation of the relation set.

Parameters:

i -

j -

behavioural - relation