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

Class SimpleWiringTester

java.lang.Object

org.processmining.specpp.datastructures.tree.nodegen.SimpleWiringTester

All Implemented Interfaces:

ExpansionStopper, PotentialExpansionsFilter, WiringTester

public class SimpleWiringTester
extends java.lang.Object
implements WiringTester

Constructor Summary

Constructors

Constructor	Description
SimpleWiringTester(IntEncodings<Transition> transitionEncodings)

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

SimpleWiringTester

public SimpleWiringTester(IntEncodings<Transition> transitionEncodings)

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