decider

type Configuration struct {
	State                 TM.State
	Direction             TM.Direction
	StackList             ATS.StackCollection
	TM                    TM.TuringMachine
	LeftTape              ATS.AbstractStack
	RightTape             ATS.AbstractStack
	Status                Status
	Predecessors          []*Configuration
	Successors            []*Configuration
	PrintHelper           int
	Depth                 int
	DepthLimitCausingHalt int
}

type ConfigurationKey struct {
	State     TM.State
	Direction TM.Direction
	LeftTape  ATS.AbstractStack
	RightTape ATS.AbstractStack
}

type DeciderOptions struct {
	StepLimit       int
	InitialDepth    int
	DepthIncrease   int
	ForcedLines     bool
	StackHeuristics ATS.Heuristics
}

type PrintOptions struct {
	OutOfSteps           bool
	FoundStartHalting    bool
	FoundHalting         bool
	Success              bool
	CurrentConfiguration bool
	AddedConfiguration   bool
	DiscardedAbstraction bool
	SettingAborted       bool
	StatusCountInfo      bool
	DetailedHaltDecision bool
	DepthLimitIncrease   bool
}

type RunInfo struct {
	Steps            int
	ConfigurationMap map[ConfigurationKey]*Configuration
	StartConfig      *Configuration
	MaxDepth         int
}

type Status int