semagrams
API
Generated with
semagrams/semagrams.flatacsets/Petris/Petri

Petri

semagrams.flatacsets.Petris$.Petri$
object Petri

Attributes

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

Members list

Concise view

Value members

Concrete methods

def apply(): ACSet[SchPetri.type]
Generated with