configuration

Documentation

Overview

Package configuration provides the interface for configuration types in LogicNG.

Many algorithms in LogicNG can be configured with a special configuration type - all of them implement Config and hold a configuration sort.

Index

• type Config
• type Sort
  • func (i Sort) String() string

Types

type Config

type Config interface {
	Sort() Sort            // returns the sort of the configuration
	DefaultConfig() Config // creates the default configuration for the sort
}

Config is an abstraction over all LogicNG configuration structs.

type Sort

type Sort byte

Sort describes the different sorts for configurations.

const (
	FormulaFactory Sort = iota
	CNF
	Sat
	MaxSat
	Encoder
	FormulaRandomizer
	AdvancedSimplifier
	ModelIteration
)

func (Sort) String

func (i Sort) String() string