Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Dot ¶
节点用record表示,节点绑定的令牌用在同一个record里面 变迁用diamond表示,若变迁绑定了令牌,则用图包含变迁和令牌
Dot .
func (*Dot) AddDirections ¶
AddDirections .
func (*Dot) AddTokenBinds ¶
func (d *Dot) AddTokenBinds(tbs ...*net.TokenBindDetail) *Dot
AddTokenBinds .
func (*Dot) AddTransitions ¶
func (d *Dot) AddTransitions(trans ...*net.Transition) *Dot
AddTransitions .
Click to show internal directories.
Click to hide internal directories.