|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.models.petrinet.Marking
public class Marking
Title: Marking class
Description:
Copyright: Copyright (c) 2004
Company:
Field Summary | |
---|---|
static int |
OMEGA
|
Constructor Summary | |
---|---|
Marking()
Create a new marking. |
Method Summary | |
---|---|
void |
add(Marking marking)
Add a given marking |
void |
addPlace(Place place,
int count)
Adds a given number of tokens to a given place. |
void |
clear()
Clear the marking. |
int |
compareTo(java.lang.Object object)
Compare the marking with a given marking, using some total order. |
void |
delPlace(Place place,
int count)
Removes a given number of tokens from a given place. |
boolean |
equals(java.lang.Object marking)
Checks whether two markings are identical. |
int |
getSize()
|
int |
getTokenCount()
|
int |
getTokens(Place place)
Returns the number of tokens for a given place. |
boolean |
isLessOrEqual(Marking marking)
Checks whether this marking is smaller than a given marking. |
java.util.Iterator |
iterator()
|
void |
sub(Marking marking)
Subtract a given marking |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int OMEGA
Constructor Detail |
---|
public Marking()
Method Detail |
---|
public int getTokenCount()
public void addPlace(Place place, int count)
place
- The place to add the tokes to.count
- The number of tokens to add.public void delPlace(Place place, int count)
place
- The place to remove the tokens from.count
- The number of tokens to remove.public boolean equals(java.lang.Object marking)
equals
in class java.lang.Object
marking
- The marking to check this marking against.
public java.util.Iterator iterator()
public boolean isLessOrEqual(Marking marking)
marking
- The given marking.
public int getSize()
public int compareTo(java.lang.Object object)
compareTo
in interface java.lang.Comparable
object
- The marking given for comparison. object *must be* a marking..
public int getTokens(Place place)
place
- The given place.
public void add(Marking marking)
marking
- The marking to addpublic void sub(Marking marking)
marking
- The marking to subtractpublic void clear()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |