Mercurial > hg > Applications > JavaLite

comparison src/lite/NumberSolver.java @ 107:30e74062f06c continuation-removal

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Sun, 20 Jan 2008 18:22:55 +0900
parents ddd38f16b014
children
comparison
equal deleted inserted replaced
106:f664474ae23b 107:30e74062f06c
1 package lite; 1 package lite;
2
3
2 4
3 5
4 public class NumberSolver extends ITLSolver { 6 public class NumberSolver extends ITLSolver {
5 7
6 int num; 8 int num;
11 13
12 public String toString() { 14 public String toString() {
13 return Integer.toString(num); 15 return Integer.toString(num);
14 } 16 }
15 17
18 @Override
19 public ITLSolver sat(ITLSatisfier sat, Next next) throws Backtrack {
20 return null;
21 }
22
16 } 23 }