001    package ifs.solver;
002    
003    import ifs.model.*;
004    
005    /**
006     * IFS Solver Listener.
007     *
008     * @see Solver
009     *
010     * @author <a href="mailto:muller@ktiml.mff.cuni.cz">Tomáš Müller</a>
011     * @version 1.0
012    **/
013    public interface SolverListener {
014        
015        /** A variable was selected 
016         * @param iteration current iteration
017         * @param variable selected variable
018         */
019        public boolean variableSelected(long iteration, Variable variable);
020        
021        /** A value was selected 
022         * @param iteration current iteration
023         * @param variable selected variable
024         * @param value selected variable
025         */
026        public boolean valueSelected(long iteration, Variable variable, Value value);
027    }