Documentation
¶
Index ¶
- func Execute(m *PetriNet, initialVec ...Vector) Process
- type StateMachine
- func (sm *StateMachine) Fire(op Op) (ok bool, msg string, out Vector)
- func (sm *StateMachine) GetState() Vector
- func (sm *StateMachine) Inhibited(op Op) (inhibited bool, msg string)
- func (sm *StateMachine) TestFire(op Op) (flag bool, msg string, out Vector)
- func (sm *StateMachine) TokenCount(label string) int64
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
Types ¶
type StateMachine ¶
type StateMachine struct {
// contains filtered or unexported fields
}
func (*StateMachine) Fire ¶
func (sm *StateMachine) Fire(op Op) (ok bool, msg string, out Vector)
func (*StateMachine) GetState ¶
func (sm *StateMachine) GetState() Vector
func (*StateMachine) Inhibited ¶
func (sm *StateMachine) Inhibited(op Op) (inhibited bool, msg string)
func (*StateMachine) TestFire ¶
func (sm *StateMachine) TestFire(op Op) (flag bool, msg string, out Vector)
func (*StateMachine) TokenCount ¶
func (sm *StateMachine) TokenCount(label string) int64
Source Files
Click to show internal directories.
Click to hide internal directories.