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

Class PlaceState

java.lang.Object

org.processmining.specpp.datastructures.tree.nodegen.PlaceState

All Implemented Interfaces:

NodeState, Mutable, ProperlyPrintable

public class PlaceState
extends java.lang.Object
implements NodeState, ProperlyPrintable

This class represents the local state of a PlaceNode. It is mutable and used by the PlaceGenerator to determine the next unseen child node to generate. The state object will be modified in the aforementioned process. While the actualPresetExpansions and actualPostsetExpansions are kept updated at all times (excl. multi-threaded use), their potential counterparts, may overestimate the real potential expansions when constraints change.

See Also:

actualPresetExpansions, actualPostsetExpansions, potentialPresetExpansions, potentialPostsetExpansions, NodeState

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PlaceState(BitMask actualPresetExpansions, BitMask actualPostsetExpansions, BitMask potentialPresetExpansions, BitMask potentialPostsetExpansions)

Method Summary

Modifier and Type	Method	Description
boolean	canNeverExpand()
int	computeActualChildrenCount()
boolean	equals(java.lang.Object o)
BitMask	getActualExpansions(MonotonousPlaceGenerationLogic.ExpansionType expansionType)
BitMask	getActualPostsetExpansions()
BitMask	getActualPresetExpansions()
BitMask	getPotentialExpansions(MonotonousPlaceGenerationLogic.ExpansionType expansionType)
BitMask	getPotentialPostsetExpansions()
BitMask	getPotentialPresetExpansions()
int	hashCode()
boolean	isCurrentlyALeaf()
java.lang.String	toString()
static PlaceState	withPotentialExpansions(BitMask potentialPresetExpansions, BitMask potentialPostsetExpansions)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PlaceState

protected PlaceState(BitMask actualPresetExpansions,
                     BitMask actualPostsetExpansions,
                     BitMask potentialPresetExpansions,
                     BitMask potentialPostsetExpansions)

Method Detail

withPotentialExpansions

public static PlaceState withPotentialExpansions(BitMask potentialPresetExpansions,
                                                 BitMask potentialPostsetExpansions)

canNeverExpand

public boolean canNeverExpand()

Returns:

whether the potential expansions indicate that a future expansion is at all possible

isCurrentlyALeaf

public boolean isCurrentlyALeaf()

Returns:

whether state describes a node with currently no children

getPotentialPresetExpansions

public BitMask getPotentialPresetExpansions()

getPotentialPostsetExpansions

public BitMask getPotentialPostsetExpansions()

getActualPresetExpansions

public BitMask getActualPresetExpansions()

getActualPostsetExpansions

public BitMask getActualPostsetExpansions()

computeActualChildrenCount

public int computeActualChildrenCount()

getActualExpansions

public BitMask getActualExpansions(MonotonousPlaceGenerationLogic.ExpansionType expansionType)

getPotentialExpansions

public BitMask getPotentialExpansions(MonotonousPlaceGenerationLogic.ExpansionType expansionType)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Specified by:

toString in interface ProperlyPrintable

Overrides:

toString in class java.lang.Object