metamodel

package

Go to main page

Versions in this module

v1

v1.0.1

Dec 31, 2023

Changes in this version

type MetaModel

+ GetViewPort func() (int, int, int, int)

+ ZipUrl func(...string) (url string, ok bool)

type Model

+ func (m *Model) GetViewPort() (x1 int, y1 int, width int, height int)

+ func (m *Model) ZipUrl(path ...string) (url string, ok bool)

type PlaceDefinition

+ Offset int64

v1.0.0

Dec 28, 2023

Changes in this version

type Arc

+ Inverted bool

+ type ArcDefinition struct

+ Inhibit bool

+ Source string

+ Target string

+ Weight int64

+ type ArcListDefinition []ArcDefinition

+ type DeclarationObject struct

+ Arcs ArcListDefinition

+ ModelType string

+ Places PlaceMapDefinition

+ Transitions TransitionMapDefinition

+ Version string

type Guard

+ Inverted bool

type MetaModel

+ GetSize func() (width int, height int)

+ UnzipUrl func(url string) (json string, ok bool)

type Model

+ func (m *Model) GetSize() (width int, height int)

+ func (m *Model) UnzipUrl(url string) (obj string, ok bool)

+ type PlaceDefinition struct

+ Capacity int64

+ Initial int64

+ X int64

+ Y int64

+ type PlaceMapDefinition map[string]PlaceDefinition

+ type SubnetNode struct

+ Schema string

+ SubnetType string

type Transition

+ AllowReentry bool

+ type TransitionDefinition struct

+ Role string

+ X int64

+ Y int64

+ type TransitionMapDefinition map[string]TransitionDefinition

v0

v0.1.0

Jan 28, 2023

Changes in this version

+ const BadArcPlace

+ const BadArcTransition

+ const BadInhibitorSource

+ const BadInhibitorTarget

+ const BadMultiple

+ const BadWeight

+ const ExpectedPlace

+ const ExpectedTransition

+ const FailedRoleAssertion

+ const InhibitedTransition

+ const OK

+ const Overflow

+ const Underflow

+ const UnexpectedArguments

+ const UnknownAction

+ func VectorToBytes(v Vector) []byte

+ type Arc struct

+ Inhibitor bool

+ Source Node

+ Target Node

+ Weight int64

+ type Declaration interface

+ Cell func(...func(p *Place)) Node

+ Fn func(...func(t *Transition)) Node

+ type Editor interface

+ Graph func() Editor

+ Index func() Editor

+ PlaceSeq func() Label

+ TransitionSeq func() Label

+ type Event struct

+ Seq int64

+ State Vector

+ type Guard struct

+ Delta Vector

+ Label string

+ type GuardMap = map[string]*Guard

+ type Label = string

+ type MetaModel interface

+ Define func(...func(Declaration)) MetaModel

+ Edit func() Editor

+ Execute func(...Vector) Process

+ Net func() *PetriNet

+ Node func(oid string) Node

+ func New(schema string) MetaModel

+ type Model struct

+ func (m *Model) Arc(source Node, target Node, weight int64)

+ func (m *Model) Cell(def ...func(p *Place)) Node

+ func (m *Model) Define(def ...func(declaration Declaration)) MetaModel

+ func (m *Model) Edit() Editor

+ func (m *Model) Execute(initialVec ...Vector) Process

+ func (m *Model) Fn(def ...func(t *Transition)) Node

+ func (m *Model) Graph() Editor

+ func (m *Model) Guard(source Node, target Node, weight int64)

+ func (m *Model) Index() Editor

+ func (m *Model) Net() *PetriNet

+ func (m *Model) Node(oid string) Node

+ func (m *Model) PlaceSeq() Label

+ func (m *Model) TransitionSeq() Label

+ type Node interface

+ Capacity func(int64) Node

+ GetPlace func() *Place

+ GetTransition func() *Transition

+ Guard func(weight int64, target Node) Node

+ Initial func(int64) Node

+ IsPlace func() bool

+ IsTransition func() bool

+ Label func(string) Node

+ Position func(x int64, y int64, z ...int64) Node

+ Role func(string) Node

+ Tx func(weight int64, target Node) Node

+ type Op struct

+ Action string

+ Multiple int64

+ Role string

+ type PetriNet struct

+ Arcs []Arc

+ Cid string

+ Path string

+ Places PlaceMap

+ Roles RoleMap

+ Schema string

+ Transitions TransitionMap

+ func (n *PetriNet) CapacityVector() (v Vector)

+ func (n *PetriNet) EmptyVector() (v Vector)

+ func (n *PetriNet) InitialVector() (v Vector)

+ type Place struct

+ Capacity int64

+ Initial int64

+ Label string

+ Offset int64

+ type PlaceMap = map[string]*Place

+ type Position struct

+ X int64

+ Y int64

+ Z int64

+ type Process interface

+ Fire func(Op) (ok bool, msg string, out Vector)

+ GetState func() Vector

+ Inhibited func(Op) (flag bool, label string)

+ TestFire func(Op) (flag bool, msg string, out Vector)

+ TokenCount func(string) int64

+ type Role = struct

+ type RoleMap = map[string]Role

+ type StateMachine struct

+ func (sm *StateMachine) Fire(op Op) (ok bool, msg string, out Vector)

+ func (sm *StateMachine) GetState() Vector

+ func (sm *StateMachine) Inhibited(op Op) (bool, string)

+ func (sm *StateMachine) TestFire(op Op) (flag bool, msg string, out Vector)

+ func (sm *StateMachine) TokenCount(label string) int64

+ type Transition struct

+ Delta Vector

+ Guards GuardMap

+ Label string

+ Role Role

+ type TransitionMap = map[string]*Transition

+ type Vector = []int64

+ func Add(state Vector, delta Vector, multiple int64, capacity ...Vector) (ok bool, msg string, out Vector)

+ func VectorFromBytes(bv []byte) (v Vector)

Other modules containing this package

github.com/pflow-dev/go-metamodel/v2

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL