001package org.clafer.compiler;
002
003import solver.Solver;
004
005/**
006 *
007 * @param <T> type of the instance
008 * @author jimmy
009 */
010public interface ClaferSearch<T> {
011
012    public boolean find();
013
014    public T instance();
015
016    public T[] allInstances();
017
018    public Solver getInternalSolver();
019}