statemachine

Documentation

Index

• type Action
• type Condition
• type Delta
• type Role
• type StateMachine
  • func (s StateMachine) String() string
  • func (s *StateMachine) Transform(state []uint64, action string, multiplier uint64) (vectorOut []int64, role Role, err error)
  • func (s *StateMachine) ValidActions(state []uint64, roles []Role, multiplier uint64) (map[string][]uint64, bool)
• type StateVector
• type Transition
  • func (t Transition) String() string

Types

type Action

type Action string

type Condition

type Condition string

type Delta

type Delta []int64

type Role

type Role string

type StateMachine

type StateMachine struct {
	Initial     StateVector
	Capacity    StateVector
	Transitions map[Action]Transition
}

func (StateMachine) String

func (s StateMachine) String() string

func (*StateMachine) Transform

func (s *StateMachine) Transform(state []uint64, action string, multiplier uint64) (vectorOut []int64, role Role, err error)

func (*StateMachine) ValidActions

func (s *StateMachine) ValidActions(state []uint64, roles []Role, multiplier uint64) (map[string][]uint64, bool)

type StateVector

type StateVector []uint64

type Transition

type Transition struct {
	Delta  Delta
	Role   Role
	Guards map[Condition]Delta
}

func (Transition) String

func (t Transition) String() string