org.clafer.compiler

Class ClaferSolver

java.lang.Object

org.clafer.compiler.ClaferSolver

All Implemented Interfaces:

ClaferSearch<InstanceModel>

public class ClaferSolver
extends Object
implements ClaferSearch<InstanceModel>

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
InstanceModel[]	allInstances()
boolean	find()
solver.Solver	getInternalSolver()
ClaferSolutionMap	getSolutionMap()
InstanceModel	instance()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getSolutionMap

public ClaferSolutionMap getSolutionMap()

find

public boolean find()

Specified by:

find in interface ClaferSearch<InstanceModel>

instance

public InstanceModel instance()

Specified by:

instance in interface ClaferSearch<InstanceModel>

allInstances

public InstanceModel[] allInstances()

Specified by:

allInstances in interface ClaferSearch<InstanceModel>

getInternalSolver

public solver.Solver getInternalSolver()

Specified by:

getInternalSolver in interface ClaferSearch<InstanceModel>

toString

public String toString()

Overrides:

toString in class Object