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

Class TransitionBlacklister

java.lang.Object

org.processmining.specpp.datastructures.tree.nodegen.TransitionBlacklister

All Implemented Interfaces:

PotentialExpansionsFilter

public class TransitionBlacklister
extends java.lang.Object
implements PotentialExpansionsFilter

Constructor Summary

Constructors

Constructor	Description
TransitionBlacklister(IntEncodings<Transition> transitionEncodings)

Method Summary

Modifier and Type	Method	Description
void	blacklist(Transition transition)
BitMask	filterPotentialSetExpansions(Place place, BitMask expansions, MonotonousPlaceGenerationLogic.ExpansionType expansionType)

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionBlacklister

public TransitionBlacklister(IntEncodings<Transition> transitionEncodings)

Method Detail

blacklist

public void blacklist(Transition transition)

filterPotentialSetExpansions

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

Specified by:

filterPotentialSetExpansions in interface PotentialExpansionsFilter