Documentation ¶
Index ¶
- type Configuration
- type ConfigurationKey
- type DeciderOptions
- func AggressiveAbstraction() DeciderOptions
- func BouncerSearch() DeciderOptions
- func Buffer() DeciderOptions
- func CounterSearch() DeciderOptions
- func CounterSize(n int) DeciderOptions
- func CounterSize2Special() DeciderOptions
- func ForceCounterSearch() DeciderOptions
- func NonBinaryCounters() DeciderOptions
- func StitchedBouncerSearch() DeciderOptions
- type PrintOptions
- type RunInfo
- type Status
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Configuration ¶
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 }
func (*Configuration) String ¶
func (c *Configuration) String() string
type ConfigurationKey ¶
type ConfigurationKey struct { State TM.State Direction TM.Direction LeftTape ATS.AbstractStack RightTape ATS.AbstractStack }
type DeciderOptions ¶
type DeciderOptions struct { StepLimit int InitialDepth int DepthIncrease int ForcedLines bool StackHeuristics ATS.Heuristics }
func AggressiveAbstraction ¶
func AggressiveAbstraction() DeciderOptions
func BouncerSearch ¶
func BouncerSearch() DeciderOptions
func Buffer ¶
func Buffer() DeciderOptions
func CounterSearch ¶
func CounterSearch() DeciderOptions
func CounterSize ¶
func CounterSize(n int) DeciderOptions
func CounterSize2Special ¶
func CounterSize2Special() DeciderOptions
func ForceCounterSearch ¶
func ForceCounterSearch() DeciderOptions
func NonBinaryCounters ¶
func NonBinaryCounters() DeciderOptions
func StitchedBouncerSearch ¶
func StitchedBouncerSearch() DeciderOptions
func (DeciderOptions) IndentedString ¶
func (options DeciderOptions) IndentedString(indent string) string
type PrintOptions ¶
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 }
func FullPrintOptions ¶
func FullPrintOptions() PrintOptions
func ResultsPrintOptions ¶
func ResultsPrintOptions() PrintOptions
func SilentPrintOptions ¶
func SilentPrintOptions() PrintOptions
func TestingPrintOptions ¶
func TestingPrintOptions() PrintOptions
type RunInfo ¶
type RunInfo struct { Steps int ConfigurationMap map[ConfigurationKey]*Configuration StartConfig *Configuration MaxDepth int }
func BruteforceCTL ¶
func BruteforceCTL(tm TM.TuringMachine, options DeciderOptions, printOptions PrintOptions) (bool, RunInfo)
Click to show internal directories.
Click to hide internal directories.