Petris

semagrams.acsets.Petris$
object Petris

Implementation of the schema for Petri nets

Attributes

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

Members list

Concise view

Type members

Classlikes

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 Hom

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 Hom

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
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 Hom

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 Hom

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 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 Attr 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 SchPetri extends Schema

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Schema
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 Attr 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