optimizer

package

Go to main page

Versions in this module

v1

v1.3.3

May 16, 2023

v1.3.2

Mar 23, 2023

v1.3.1

Mar 9, 2023

v1.3.0

Mar 5, 2023

v1.2.1

Jan 15, 2023

v1.2.0

Nov 23, 2022

v1.1.0

Aug 30, 2022

v1.0.1

Aug 3, 2022

v1.0.0

Jul 14, 2022

Changes in this version

+ const IntLeConstraint

+ const IntMaxConstraint

type Declares

+ GetSize func() int

+ GetType func() string

+ SetAssignment func(string)

type FlatZincModel

+ func (fzw *FlatZincModel) GetVariableSize(name string) int

+ func (fzw *FlatZincModel) GetVariableType(name string) string

+ func (fzw *FlatZincModel) SetVariableAssignment(name, assignment string)

type FlatZincParam

+ func (fzp *FlatZincParam) GetSize() int

+ func (fzp *FlatZincParam) GetType() string

+ func (fzp *FlatZincParam) SetAssignment(assignment string)

type FlatZincVariable

+ func (fzv *FlatZincVariable) GetSize() int

+ func (fzv *FlatZincVariable) GetType() string

+ func (fzv *FlatZincVariable) SetAssignment(assignment string)

v0

v0.8.1

Apr 28, 2022

v0.8.0

Apr 28, 2022

Changes in this version

type FlatZincParam

+ NumInstances uint

type FlatZincVariable

+ Assignment string

+ NumInstances uint

v0.7.0

Jun 2, 2022

Changes in this version

+ const ArrBoolOrConstraint

+ const ArrIntElemConstraint

+ const BoolLeConstraint

+ const BoolLinEqConstraint

+ const BoolLinLeConstraint

+ const BoolNotEqConstraint

+ const BoolType

+ const DefinedVarAnnotation

+ const DefinesVarAnnotation

+ const ElementSeparator

+ const FalseValue

+ const IntEqConstraint

+ const IntLinEqConstraint

+ const IntNotEqConstraint

+ const IntType

+ const MaxDataPathDepth

+ const OutputArrAnnotation

+ const OutputVarAnnotation

+ const SetInConstraint

+ const TrueValue

+ func GetDefinesVarAnnotation(variable string) string

+ type Annotations []string

+ type CPSolution map[string][]string

+ type DataPathCSP struct

+ func NewDataPathCSP(problemData *datapath.DataInfo, env *datapath.Environment) *DataPathCSP

+ func (dpc *DataPathCSP) BuildFzModel(pathLength int) (string, error)

+ type Declares interface

+ Declaration func() string

+ type FlatZincConstraint struct

+ Expressions []string

+ Identifier string

+ type FlatZincModel struct

+ Constraints []FlatZincConstraint

+ HeaderComments string

+ ParamMap map[string]Declares

+ SolveTarget FlatZincSolveItem

+ VarMap map[string]Declares

+ func NewFlatZincModel() *FlatZincModel

+ func (fzw *FlatZincModel) AddConstraint(identifier string, exprs []string, annotations ...string)

+ func (fzw *FlatZincModel) AddHeaderComment(commentLine string)

+ func (fzw *FlatZincModel) AddParam(name, vartype, assignment string)

+ func (fzw *FlatZincModel) AddParamArray(name, vartype string, size int, assignment string)

+ func (fzw *FlatZincModel) AddVariable(name, vartype string, isDefined, isOutput bool)

+ func (fzw *FlatZincModel) AddVariableArray(name, vartype string, size int, isDefined, isOutput bool)

+ func (fzw *FlatZincModel) Clear()

+ func (fzw *FlatZincModel) Dump() (string, error)

+ func (fzw *FlatZincModel) ReadBestSolution(solverOutput string) (CPSolution, error)

+ func (fzw *FlatZincModel) ReadBestSolutionFromFile(fileName string) (CPSolution, error)

+ func (fzw *FlatZincModel) ReadSolutions(solverOutput string) ([]CPSolution, error)

+ func (fzw *FlatZincModel) ReadSolutionsFromFile(fileName string) ([]CPSolution, error)

+ func (fzw *FlatZincModel) SetSolveTarget(goal SolveGoal, expr string, annotations ...string)

+ type FlatZincParam struct

+ Assignment string

+ IsArray bool

+ Name string

+ Size int

+ Type string

+ func (fzp FlatZincParam) Declaration() string

+ type FlatZincSolveItem struct

+ type FlatZincVariable struct

+ IsArray bool

+ Name string

+ Size int

+ Type string

+ func (fzv FlatZincVariable) Declaration() string

+ type Optimizer struct

+ func NewOptimizer(env *datapath.Environment, problemData *datapath.DataInfo, solverPath string, ...) *Optimizer

+ func (opt *Optimizer) Solve() (datapath.Solution, error)

+ type SolveGoal int64

+ const Maximize

+ const Minimize

+ const Satisfy

+ func (s SolveGoal) String() string

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL