org.clafer.compiler

Class ClaferOptimizer

java.lang.Object

org.clafer.compiler.ClaferOptimizer

All Implemented Interfaces:

ClaferSearch<Pair<Integer,InstanceModel>>

public class ClaferOptimizer
extends Object
implements ClaferSearch<Pair<Integer,InstanceModel>>

Author:

jimmy

Field Summary

Fields

Modifier and Type	Field and Description
solver.Solver	solver

Method Summary

Methods

Modifier and Type	Method and Description
Pair<Integer,InstanceModel>[]	allInstances()
boolean	find()
solver.Solver	getInternalSolver()
ClaferSolutionMap	getSolutionMap()
Pair<Integer,InstanceModel>	instance()
boolean	isMaximize()
boolean	isMinimize()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

solver

public final solver.Solver solver

Method Detail

getSolutionMap

public ClaferSolutionMap getSolutionMap()

isMaximize

public boolean isMaximize()

isMinimize

public boolean isMinimize()

find

public boolean find()

Specified by:

find in interface ClaferSearch<Pair<Integer,InstanceModel>>

instance

public Pair<Integer,InstanceModel> instance()

Specified by:

instance in interface ClaferSearch<Pair<Integer,InstanceModel>>

Returns:

the optimal value and the optimal instance

allInstances

public Pair<Integer,InstanceModel>[] allInstances()

Specified by:

allInstances in interface ClaferSearch<Pair<Integer,InstanceModel>>

getInternalSolver

public solver.Solver getInternalSolver()

Specified by:

getInternalSolver in interface ClaferSearch<Pair<Integer,InstanceModel>>