Package org.processmining.specpp.datastructures.tree.nodegen

Class WiringMatrix

java.lang.Object

org.processmining.specpp.datastructures.tree.nodegen.WiringMatrix

All Implemented Interfaces:

ExpansionStopper, PotentialExpansionsFilter, WiringTester

Direct Known Subclasses:

UnWiringMatrix

public class WiringMatrix
extends java.lang.Object
implements WiringTester

Constructor Summary

Constructors

Constructor	Description
WiringMatrix(IntEncodings<Transition> transitionEncodings)

Method Summary

Modifier and Type	Method	Description
BitMask	filterPotentialSetExpansions(Place place, BitMask expansions, MonotonousPlaceGenerationLogic.ExpansionType expansionType)
boolean	isWired(Place place)
protected void	reset()
java.lang.String	toString()
void	unwire(Place place)
void	wire(Place place)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.specpp.datastructures.tree.nodegen.WiringTester

notAllowedToExpand

Constructor Detail

WiringMatrix

public WiringMatrix(IntEncodings<Transition> transitionEncodings)

Method Detail

wire

public void wire(Place place)

Specified by:

wire in interface WiringTester

filterPotentialSetExpansions

public BitMask filterPotentialSetExpansions(Place place,
                                            BitMask expansions,
                                            MonotonousPlaceGenerationLogic.ExpansionType expansionType)

Specified by:

filterPotentialSetExpansions in interface PotentialExpansionsFilter

isWired

public boolean isWired(Place place)

Specified by:

isWired in interface WiringTester

reset

protected void reset()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

unwire

public void unwire(Place place)

Specified by:

unwire in interface WiringTester