org.processmining.plugins.balancedconformance.controlflow.override

Class DHead

java.lang.Object

org.processmining.plugins.astar.petrinet.impl.PHead

org.processmining.plugins.balancedconformance.controlflow.override.DHead

All Implemented Interfaces:

nl.tue.astar.Head

public final class DHead
extends org.processmining.plugins.astar.petrinet.impl.PHead

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.plugins.astar.petrinet.impl.PHead

org.processmining.plugins.astar.petrinet.impl.PHead.HashContainer

Field Summary

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.PHead

hashCode, marking, parikh, PROVIDER

Constructor Summary

Constructors

Constructor and Description
DHead(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace t)
DHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)

Method Summary

Modifier and Type	Method and Description
protected nl.tue.astar.util.ShortShortMultiset	cloneAndUpdateMarking(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate, nl.tue.astar.util.ShortShortMultiset marking, short modelMove)
protected DHead	createHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
gnu.trove.list.TIntList	getSynchronousMoves(nl.tue.astar.Record rec, nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, gnu.trove.list.TIntList enabled, int activity) get the synchronous moves that are possible on activity, given the current list of enabled modelMoves.

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.PHead

computeBitsForParikh, equals, fromMultiSet, getMarking, getModelMoves, getNextHead, getParikhVector, hashCode, isFinal, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DHead

public DHead(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate,
             org.processmining.models.semantics.petrinet.Marking m,
             org.deckfour.xes.model.XTrace t)

DHead

public DHead(nl.tue.astar.util.ShortShortMultiset marking,
             nl.tue.astar.util.ShortShortMultiset parikh,
             int hashCode)

Method Detail

createHead

protected DHead createHead(nl.tue.astar.util.ShortShortMultiset marking,
                           nl.tue.astar.util.ShortShortMultiset parikh,
                           int hashCode)

Overrides:

createHead in class org.processmining.plugins.astar.petrinet.impl.PHead

cloneAndUpdateMarking

protected nl.tue.astar.util.ShortShortMultiset cloneAndUpdateMarking(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate,
                                                                     nl.tue.astar.util.ShortShortMultiset marking,
                                                                     short modelMove)

Overrides:

cloneAndUpdateMarking in class org.processmining.plugins.astar.petrinet.impl.PHead

getSynchronousMoves

public gnu.trove.list.TIntList getSynchronousMoves(nl.tue.astar.Record rec,
                                                   nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
                                                   gnu.trove.list.TIntList enabled,
                                                   int activity)

Description copied from interface: nl.tue.astar.Head

get the synchronous moves that are possible on activity, given the current list of enabled modelMoves. The list enabled is obtained through a previous call to getModelMoves and implementations may only remove elements, i.e. the implementation may decide to remove modelMoves based on the available synchronous moves.

Specified by:

getSynchronousMoves in interface nl.tue.astar.Head

Overrides:

getSynchronousMoves in class org.processmining.plugins.astar.petrinet.impl.PHead

enabled - TODO

Returns: