Package org.oristool.models.stpn

Class MarkingExpr.LelloExpr

java.lang.Object

org.oristool.models.stpn.MarkingExpr.LelloExpr

All Implemented Interfaces:

MarkingExpr

Enclosing interface:

MarkingExpr

public static class MarkingExpr.LelloExpr
extends Object
implements 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

Modifier and Type	Method	Description
double	evaluate(Marking m)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

evaluate

public double evaluate(Marking m)

Specified by:

evaluate in interface MarkingExpr

toString

public String toString()

Overrides:

toString in class Object