EidCounter

scalation.animation.EidCounter
object EidCounter

The EidCounter object is used to provide unique identifiers for internally created tokens/fluids.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
EidCounter.type

Members list

Value members

Concrete methods

def next(): Int