Versions in this module Expand all Collapse all v0 v0.0.4 Aug 8, 2021 Changes in this version + const APOSTROPHE + const COMMA + const COMMENT + const DOLLARSIGN + const DOT + const EQUAL + const EXCLAMATION + const LANGLE + const LBRACKET + const LOWER_THAN_LBRACKET + const LOWPREC + const LSQBRACKET + const NAME + const PLUS + const RANGLE + const RBRACKET + const RSQBRACKET + const VERTBAR + const ZERO + var DeclaredProcs map[string]DeclaredProcess + func DoAlphaConversion(elem Element) + func GetAllFreeNames(elem Element) []string + func InteractiveMode(flags Flags) + func Log(strs ...string) + func OutputMode(flags Flags) error + func PrettyPrintAst(elem Element) string + func PrettyPrintConfiguration(conf Configuration) string + func RegisterGobs() + type Configuration struct + Label Label + Process Element + Registers Registers + type DeclaredProcess struct + Parameters []string + Process Element + type EdgeTemplate struct + Destination string + Label string + Source string + type ElemEquality struct + Inequality bool + NameL Name + NameR Name + Next Element + func (e *ElemEquality) Type() ElementType + type ElemInput struct + Channel Name + Input Name + Next Element + func (e *ElemInput) Type() ElementType + type ElemNil struct + func (e *ElemNil) Type() ElementType + type ElemOutput struct + Channel Name + Next Element + Output Name + func (e *ElemOutput) Type() ElementType + type ElemParallel struct + ProcessL Element + ProcessR Element + func (e *ElemParallel) Type() ElementType + type ElemProcess struct + Name string + Parameters []Name + func (e *ElemProcess) Type() ElementType + type ElemRestriction struct + Next Element + Restrict Name + func (e *ElemRestriction) Type() ElementType + type ElemRoot struct + Next Element + func (e *ElemRoot) Type() ElementType + type ElemSum struct + ProcessL Element + ProcessR Element + func (e *ElemSum) Type() ElementType + type Element interface + Type func() ElementType + func InitProgram(program []byte) (Element, error) + func InitRootAst(elem Element) Element + type ElementType int + const ElemTypInput + const ElemTypMatch + const ElemTypNil + const ElemTypOutput + const ElemTypParallel + const ElemTypProcess + const ElemTypRestriction + const ElemTypRoot + const ElemTypSum + type Flags struct + DisableGC bool + GVLayout string + GVOutputStates bool + GVTex bool + Gob bool + InputFile string + InteractiveMode bool + MaxStates int + OutputFile string + Pretty bool + Quiet bool + RegisterSize int + Statistics bool + type Label struct + Symbol Symbol + Symbol2 Symbol + func (l Label) PrettyPrintGraph() string + type Lts struct + RegSizeReached map[int]bool + States map[int]Configuration + StatesExplored int + StatesGenerated int + Transitions []Transition + type Name struct + Name string + Type NameType + type NameType int + const Bound + const Free + type Registers struct + Registers map[int]string + Size int + func (reg *Registers) AddEmptyName() + func (reg *Registers) GetLabel(name string) int + func (reg *Registers) GetName(label int) string + func (reg *Registers) Labels() []int + func (reg *Registers) RemoveMax() + func (reg *Registers) UpdateMax(freeName string) int + func (reg *Registers) UpdateMin(name string, freshNames []string) int + type Symbol struct + Type SymbolType + Value int + type SymbolType int + const SymbolTypFreshInput + const SymbolTypFreshOutput + const SymbolTypInput + const SymbolTypKnown + const SymbolTypOutput + const SymbolTypTau + type Transition struct + Destination int + Label Label + Source int + type VertexTemplate struct + Config string + Layout string + State string v0.0.3 Aug 8, 2021 v0.0.2 Aug 8, 2021 v0.0.1 Aug 8, 2021