Package org.oristool.models.stpn
Class MarkingExpr.ConstantExpr
java.lang.Object
org.oristool.models.stpn.MarkingExpr.ConstantExpr
- All Implemented Interfaces:
MarkingExpr
- Enclosing interface:
- MarkingExpr
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.oristool.models.stpn.MarkingExpr
MarkingExpr.ConstantExpr, MarkingExpr.LelloExpr
-
Field Summary
Fields inherited from interface org.oristool.models.stpn.MarkingExpr
ONE, ZERO
-
Method Summary