semagrams
API
Generated with
semagrams/semagrams.flatacsets/Petris

Petris

semagrams.flatacsets.Petris$
object Petris

Attributes

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

Members list

Concise view

Type members

Classlikes

case object Concentration extends AttrWithDom with PValue[Double]

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait PValue[Double]
trait Attr
trait Property
class Object
trait Matchable
class Any
Self type
case object I extends Ob

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Ob
class Object
trait Matchable
class Any
Self type
I.type
case object IS extends HomWithDom

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Hom
trait Property
class Object
trait Matchable
class Any
Self type
IS.type
case object IT extends HomWithDom

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Hom
trait Property
class Object
trait Matchable
class Any
Self type
IT.type
object LabelledPetri

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object LabelledReactionNet

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case object O extends Ob

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Ob
class Object
trait Matchable
class Any
Self type
O.type
case object OS extends HomWithDom

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Hom
trait Property
class Object
trait Matchable
class Any
Self type
OS.type
case object OT extends HomWithDom

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Hom
trait Property
class Object
trait Matchable
class Any
Self type
OT.type
object Petri

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Petri.type
case object Rate extends AttrWithDom with PValue[Double]

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait PValue[Double]
trait Attr
trait Property
class Object
trait Matchable
class Any
Self type
Rate.type
case object S extends Ob

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Ob
class Object
trait Matchable
class Any
Self type
S.type
case object SName extends AttrWithDom with PValue[String]

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait PValue[String]
trait Attr
trait Property
class Object
trait Matchable
class Any
Self type
SName.type
case object SchLabelledPetri extends StaticSchema

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object SchLabelledReactionNet extends StaticSchema

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object SchPetri extends StaticSchema

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object T extends Ob

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Ob
class Object
trait Matchable
class Any
Self type
T.type
case object TName extends AttrWithDom with PValue[String]

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait PValue[String]
trait Attr
trait Property
class Object
trait Matchable
class Any
Self type
TName.type

Types

type Petri = ACSet[SchPetri.type]
Generated with