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

Class ListBasedWiringTester

java.lang.Object

org.processmining.specpp.datastructures.tree.nodegen.ListBasedWiringTester

All Implemented Interfaces:

ExpansionStopper, PotentialExpansionsFilter, WiringTester

public class ListBasedWiringTester
extends java.lang.Object
implements WiringTester

Constructor Summary

Constructors

Constructor	Description
ListBasedWiringTester()

Method Summary

Modifier and Type	Method	Description
BitMask	filterPotentialSetExpansions(Place place, BitMask expansions, MonotonousPlaceGenerationLogic.ExpansionType expansionType)
boolean	isWired(Place place)
void	unwire(Place place)
void	wire(Place place)

Methods inherited from class java.lang.Object

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

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

notAllowedToExpand

Constructor Detail

ListBasedWiringTester

public ListBasedWiringTester()

Method Detail

filterPotentialSetExpansions

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

Specified by:

filterPotentialSetExpansions in interface PotentialExpansionsFilter

wire

public void wire(Place place)

Specified by:

wire in interface WiringTester

unwire

public void unwire(Place place)

Specified by:

unwire in interface WiringTester

isWired

public boolean isWired(Place place)

Specified by:

isWired in interface WiringTester