org.clafer.compiler

Interface ClaferSearch<T>

Type Parameters:

T - type of the instance

All Known Implementing Classes:

ClaferOptimizer, ClaferSolver

public interface ClaferSearch<T>

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
T[]	allInstances()
boolean	find()
solver.Solver	getInternalSolver()
T	instance()

Method Detail

find

boolean find()

instance

T instance()

allInstances

T[] allInstances()

getInternalSolver

solver.Solver getInternalSolver()