24 lines
341 B
Go
24 lines
341 B
Go
package engine
|
|
|
|
import (
|
|
"fmt"
|
|
|
|
"git.maximhutz.com/max/lambda/pkg/repr"
|
|
)
|
|
|
|
type Engine[R repr.Repr] interface {
|
|
Run(trace bool, count int) (Trace, bool)
|
|
Step() uint64
|
|
State() (repr.Repr, error)
|
|
|
|
fmt.Stringer
|
|
}
|
|
|
|
type Trace interface {
|
|
Before() string
|
|
After() string
|
|
Step() uint64
|
|
TransitionName() string
|
|
TransitionNodes() string
|
|
}
|