Versions in this module Expand all Collapse all v0 v0.1.1 Feb 6, 2018 v0.1.0 Feb 6, 2018 Changes in this version + var ErrInvalid = errors.New("invalid argument") + func Bind(p *Process) error + func IsFreeName(x Name) bool + func IsSameName(x, y Name) bool + func Reduce1(p Process) (changed bool, err error) + func Subst(p Process, vs, xs []Name) error + type ImmutableNameError struct + Name Name + func (e ImmutableNameError) Error() string + type Name interface + Ident func() string + String func() string + func FreeNames(n Name) []Name + func FreeVars(n Name) []Name + type NilProcess struct + func NewNilProcess() *NilProcess + func (n *NilProcess) FreeNames() []Name + func (n *NilProcess) FreeVars() []Name + func (n *NilProcess) String() string + func (p *NilProcess) Calculi() string + type Par struct + Procs []Process + func NewPar(P, Q Process) *Par + func (p *Par) Calculi() string + func (p *Par) FreeNames() []Name + func (p *Par) FreeVars() []Name + func (p *Par) String() string + type ParseError struct + Err string + Pos TokenPos + func (e *ParseError) Error() string + type Process interface + Calculi func() string + FreeNames func() []Name + FreeVars func() []Name + String func() string + func Parse(r io.Reader) (Process, error) + func SimplifyBySC(p Process) (Process, error) + type Recv struct + Chan Name + Cont Process + Vars []Name + func NewRecv(u Name, P Process) *Recv + func (p *Recv) Calculi() string + func (r *Recv) FreeNames() []Name + func (r *Recv) FreeVars() []Name + func (r *Recv) SetVars(vars []Name) + func (r *Recv) String() string + type Repeat struct + Proc Process + func NewRepeat(P Process) *Repeat + func (p *Repeat) Calculi() string + func (r *Repeat) FreeNames() []Name + func (r *Repeat) FreeVars() []Name + func (r *Repeat) String() string + type Restrict struct + Name Name + Proc Process + func NewRestrict(a Name, P Process) *Restrict + func NewRestricts(a []Name, p Process) *Restrict + func (p *Restrict) Calculi() string + func (r *Restrict) FreeNames() []Name + func (r *Restrict) FreeVars() []Name + func (r *Restrict) String() string + type Send struct + Chan Name + Vals []Name + func NewSend(u Name) *Send + func (p *Send) Calculi() string + func (s *Send) FreeNames() []Name + func (s *Send) FreeVars() []Name + func (s *Send) SetVals(vals []Name) + func (s *Send) String() string + type TokenPos struct + Char int + Lines []int + func (p TokenPos) String() string + func (pos TokenPos) CaretDiag(b []byte) []byte + type UnknownProcessError struct + Proc Process + func (e UnknownProcessError) Error() string