org.processmining.plugins.petrinet.structuralanalysis

Class TrapGenerator.ExpansionItem

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.TrapGenerator.ExpansionItem

Enclosing class:

TrapGenerator

protected class TrapGenerator.ExpansionItem
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TrapGenerator.ExpansionItem(java.util.Set<java.lang.Integer> expandedColumns, cern.colt.matrix.DoubleMatrix1D currentColumnState, int toBeExpandedBy)

Method Summary

Methods

Modifier and Type	Method and Description
cern.colt.matrix.DoubleMatrix1D	getCurrentColumnState()
java.util.Set<java.lang.Integer>	getExpandedColumns()
int	getToBeExpandedBy()
void	setCurrentColumnState(cern.colt.matrix.DoubleMatrix1D currentColumnState)
void	setExpandedColumn(java.util.Set<java.lang.Integer> expandedColumns)
void	setToBeExpandedBy(int toBeExpandedBy)

Methods inherited from class java.lang.Object

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

Constructor Detail

TrapGenerator.ExpansionItem

protected TrapGenerator.ExpansionItem(java.util.Set<java.lang.Integer> expandedColumns,
                           cern.colt.matrix.DoubleMatrix1D currentColumnState,
                           int toBeExpandedBy)

Method Detail

getExpandedColumns

public java.util.Set<java.lang.Integer> getExpandedColumns()

Returns:

the executedColumn

setExpandedColumn

public void setExpandedColumn(java.util.Set<java.lang.Integer> expandedColumns)

Parameters:

expandedColumns - the executedColumn to set

getCurrentColumnState

public cern.colt.matrix.DoubleMatrix1D getCurrentColumnState()

Returns:

the currentColumnState

setCurrentColumnState

public void setCurrentColumnState(cern.colt.matrix.DoubleMatrix1D currentColumnState)

Parameters:

currentColumnState - the currentColumnState to set

getToBeExpandedBy

public int getToBeExpandedBy()

Returns:

the toBeExpandedBy

setToBeExpandedBy

public void setToBeExpandedBy(int toBeExpandedBy)

Parameters:

toBeExpandedBy - the toBeExpandedBy to set