Source code: mlsub/typing/lowlevel/LowlevelSolutionHandler.java
1 package mlsub.typing.lowlevel;
2
3 /**
4 * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:52 $
5 * @author Alexandre Frey
6 **/
7 abstract public class LowlevelSolutionHandler {
8 private DomainVector _solution = null;
9 // private BitVector garbage;
10 // final void fillSolution(DomainVector _solution) {
11 // this._solution = _solution;
12 // }
13
14 final void handle(DomainVector _solution) {
15 this._solution = _solution;
16 handle();
17 }
18
19
20 final protected int getSolutionOf(int x) {
21 return _solution.getDomain(x).getLowestSetBit();
22 }
23 /**
24 * Called when a solution is found. handle can then call getSolutionOf(x) to
25 * retrieve the solution.
26 **/
27 abstract protected void handle();
28 }