Package org.processmining.specpp.datastructures.petri

Class Place

java.lang.Object

org.processmining.specpp.datastructures.petri.Place

All Implemented Interfaces:

Candidate, Evaluable, NonMutatingSetOperations<Place>, SetQueries<Place>, NodeProperties, Copyable<Place>, Immutable, ProperlyHashable, ProperlyPrintable

public class Place
extends java.lang.Object
implements Candidate, NodeProperties, ProperlyHashable, ProperlyPrintable, Copyable<Place>, NonMutatingSetOperations<Place>, SetQueries<Place>

A class representing a Petri net place as a combination of its preset and postset. The sets are represented as ordered subsets of all possible transitions that may occur in the preset and postset respectively. A place lifts NonMutatingSetOperations and SetQueries to these pairs by component wise application. Places are marked as proposal candidates Candidate and node properties NodeProperties of trees.

See Also:

NonMutatingSetOperations, Candidate, NodeProperties

Constructor Summary

Constructors

Constructor	Description
Place(BitEncodedSet<Transition> ingoingTransitions, BitEncodedSet<Transition> outgoingTransitions)
Place(Pair<BitEncodedSet<Transition>> encodedSetPair)

Method Summary

Modifier and Type	Method	Description
Place	copy()
boolean	equals(java.lang.Object o)
int	hashCode()
java.util.Set<Transition>	incidentTransitions()
Place	intersection(Place other)
boolean	intersects(Place other)
boolean	isEmpty()
boolean	isHalfEmpty()
boolean	isSubsetOf(Place other)
boolean	isSupersetOf(Place other)
Place	nonSelfLoops()
static Place	of(BitEncodedSet<Transition> ingoingTransitions, BitEncodedSet<Transition> outgoingTransitions)
BitEncodedSet<Transition>	postset()
BitEncodedSet<Transition>	preset()
Place	selfLoops()
boolean	setEquality(Place other)
Place	setminus(Place other)
int	size()
java.lang.String	toString()
Place	union(Place other)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.specpp.datastructures.encoding.SetQueries

isDisjoint, isStrictSubsetOf, isStrictSupersetOf

Constructor Detail

Place

public Place(Pair<BitEncodedSet<Transition>> encodedSetPair)

Place

public Place(BitEncodedSet<Transition> ingoingTransitions,
             BitEncodedSet<Transition> outgoingTransitions)

Method Detail

of

public static Place of(BitEncodedSet<Transition> ingoingTransitions,
                       BitEncodedSet<Transition> outgoingTransitions)

size

public int size()

isEmpty

public boolean isEmpty()

isHalfEmpty

public boolean isHalfEmpty()

preset

public BitEncodedSet<Transition> preset()

postset

public BitEncodedSet<Transition> postset()

nonSelfLoops

public Place nonSelfLoops()

selfLoops

public Place selfLoops()

union

public Place union(Place other)

Specified by:

union in interface NonMutatingSetOperations<Place>

setminus

public Place setminus(Place other)

Specified by:

setminus in interface NonMutatingSetOperations<Place>

intersection

public Place intersection(Place other)

Specified by:

intersection in interface NonMutatingSetOperations<Place>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface ProperlyHashable

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

copy

public Place copy()

Specified by:

copy in interface Copyable<Place>

intersects

public boolean intersects(Place other)

Specified by:

intersects in interface SetQueries<Place>

setEquality

public boolean setEquality(Place other)

Specified by:

setEquality in interface SetQueries<Place>

isSubsetOf

public boolean isSubsetOf(Place other)

Specified by:

isSubsetOf in interface SetQueries<Place>

isSupersetOf

public boolean isSupersetOf(Place other)

Specified by:

isSupersetOf in interface SetQueries<Place>

incidentTransitions

public java.util.Set<Transition> incidentTransitions()