public class RMarking
extends java.lang.Object
Constructor and Description |
---|
RMarking(java.util.List<RElement> locations) |
RMarking(java.util.Map<java.lang.String,java.lang.Integer> markedPlaces) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object oMarking) |
java.util.Set<java.lang.String> |
getLocations() |
java.util.Map<java.lang.String,java.lang.Integer> |
getMarkedPlaces() |
boolean |
isBiggerThan(RMarking marking) |
boolean |
isBiggerThanOrEqual(RMarking marking) |
boolean |
isLessThanOrEqual(RMarking marking)
This is used for coverable check: x' <= x
|
public RMarking(java.util.List<RElement> locations)
public RMarking(java.util.Map<java.lang.String,java.lang.Integer> markedPlaces)
public java.util.Map<java.lang.String,java.lang.Integer> getMarkedPlaces()
public java.util.Set<java.lang.String> getLocations()
public boolean equals(java.lang.Object oMarking)
equals
in class java.lang.Object
public boolean isBiggerThanOrEqual(RMarking marking)
public boolean isBiggerThan(RMarking marking)
public boolean isLessThanOrEqual(RMarking marking)