Mercurial > hg > Applications > JavaLite

comparison src/lite/PredicateSolver.java @ 67:4ced2af1ff09 bdd-order

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
BDD Order fix
author kono
date Sun, 13 Jan 2008 19:48:42 +0900
parents ddd38f16b014
children ec609dbb13a7
comparison
equal deleted inserted replaced
66:96b1c8c2f9b9 67:4ced2af1ff09
17 public String toString() { 17 public String toString() {
18 return predicate.toString(); 18 return predicate.toString();
19 } 19 }
20 20
21 @Override 21 @Override
22 public LinkedList<? extends ITLSolver> arguments() { 22 public LinkedList<ITLSolver> arguments() {
23 return arg; 23 return arg;
24 } 24 }
25 @Override 25 @Override
26 public ITLSolver predicate() { 26 public ITLSolver predicate() {
27 return predicate; 27 return predicate;