Versions in this module Expand all Collapse all v0 v0.8.0 Feb 23, 2023 Changes in this version + func AtomIsLess(ai, aj Atom) bool + func ValueIsLess(vi, vj *Value) bool + type Add []Expression + func (p Add) AddEnv(env Env) Env + func (p Add) Eval(net *Net, venv VEnv) []Atom + func (p Add) String() string + func (p Add) Unify(net *Net, v *Value, venv VEnv) (int, error) + type All string + func (p All) AddEnv(env Env) Env + func (p All) Eval(net *Net, venv VEnv) []Atom + func (p All) String() string + func (p All) Unify(net *Net, v *Value, venv VEnv) (int, error) + type Arc struct + Pattern Expression + Source string + Target string + XML RawXML + type Atom struct + Mult int + type Constant string + func (p Constant) AddEnv(env Env) Env + func (p Constant) Eval(net *Net, venv VEnv) []Atom + func (p Constant) String() string + func (p Constant) Unify(net *Net, v *Value, venv VEnv) (int, error) + type Declaration struct + Partitions []*PartitionDecl + Sorts []*TypeDecl + Vars []*VarDecl + type Decoder struct + func NewDecoder(r io.Reader) *Decoder + func (d *Decoder) Build(net *Net) error + type Dot struct + func (p Dot) AddEnv(env Env) Env + func (p Dot) Eval(net *Net, venv VEnv) []Atom + func (p Dot) String() string + func (p Dot) Unify(net *Net, v *Value, venv VEnv) (int, error) + type Env []string + func (p Env) Extra(p2 Env) Env + func (p Env) String() string + type Expression interface + AddEnv func(Env) Env + Eval func(*Net, VEnv) []Atom + String func() string + Unify func(*Net, *Value, VEnv) (int, error) + func SplitAdds(e Expression) []Expression + type FIRConstant struct + func (p FIRConstant) AddEnv(env Env) Env + func (p FIRConstant) Eval(net *Net, venv VEnv) []Atom + func (p FIRConstant) String() string + func (p FIRConstant) Unify(net *Net, v *Value, venv VEnv) (int, error) + type FIRangeConstant struct + Range IntRange + Value int + type Fec struct + ID string + type Hue []Atom + func (pm Hue) Sum() int + type IntRange struct + End int + Start int + type Marking []Hue + func (m0 Marking) Clone() Marking + type Net struct + Declaration Declaration + Name string + Page Page + TypeEnvt map[string]string + Unique map[Value]*Value + World map[string][]*Value + func (e *Net) Next(i int, val *Value) *Value + func (net *Net) PrintHue(pm Hue) string + func (net *Net) PrintValue(val *Value) string + func (net Net) String() string + type NumberConstant struct + Value int + type Numberof struct + Mult int + func (p Numberof) AddEnv(env Env) Env + func (p Numberof) Eval(net *Net, venv VEnv) []Atom + func (p Numberof) String() string + func (p Numberof) Unify(net *Net, v *Value, venv VEnv) (int, error) + type OP int + const AND + const EQ + const GREATTHAN + const GREATTHANEQ + const INEQ + const LESSTHAN + const LESSTHANEQ + const NIL + const OR + func (p OP) String() string + type Operation struct + Elem []Expression + Op OP + func (p Operation) AddEnv(env Env) Env + func (p Operation) Eval(net *Net, venv VEnv) []Atom + func (p Operation) OK(net *Net, venv VEnv) bool + func (p Operation) String() string + func (p Operation) Unify(net *Net, v *Value, venv VEnv) (int, error) + type Page struct + Arcs []*Arc + Places []*Place + Trans []*Transition + type Partition struct + Elem []Type + ID string + type PartitionDecl struct + ID string + Partitions []Partition + type Place struct + ID string + InitialMarking Expression + Type Type + XML RawXML + type RawXML struct + InnerXML []byte + type Subtract []Expression + func (p Subtract) AddEnv(env Env) Env + func (p Subtract) Eval(net *Net, venv VEnv) []Atom + func (p Subtract) String() string + func (p Subtract) Unify(net *Net, v *Value, venv VEnv) (int, error) + type Successor struct + Incr int + func (p Successor) AddEnv(env Env) Env + func (p Successor) Eval(net *Net, venv VEnv) []Atom + func (p Successor) String() string + func (p Successor) Unify(net *Net, v *Value, venv VEnv) (int, error) + type TYP int + const CENUM + const DOT + const FENUM + const FINTRANGE + const NUMERIC + const PROD + func (i TYP) String() string + type Transition struct + Condition Operation + ID string + XML RawXML + type Tuple []Expression + func (p Tuple) AddEnv(env Env) Env + func (p Tuple) Eval(net *Net, venv VEnv) []Atom + func (p Tuple) String() string + func (p Tuple) Unify(net *Net, v *Value, venv VEnv) (int, error) + type Type struct + ID string + type TypeDecl struct + CEnum []Fec + Dot *struct{} + Elem []string + FEnum []Fec + FIntRan *IntRange + ID string + Product []Type + Sort TYP + func (typ TypeDecl) String() string + type VEnv map[string]*Value + func NewVEnv(env Env) VEnv + func (venv VEnv) Clone() VEnv + func (venv VEnv) Copy(venv2 VEnv) + func (venv VEnv) Reset(env Env) + func (venv VEnv) ResetAll() + type Value struct + Head int + Tail *Value + type Var string + func (p Var) AddEnv(env Env) Env + func (p Var) Eval(net *Net, venv VEnv) []Atom + func (p Var) String() string + func (p Var) Unify(net *Net, v *Value, venv VEnv) (int, error) + type VarDecl struct + ID string + Type Type + type Variable struct + RefVariable string