Mercurial > hg > Applications > JavaLite
view src/lite/PredicateSolver.java @ 67:4ced2af1ff09 bdd-order
BDD Order fix
author | kono |
---|---|
date | Sun, 13 Jan 2008 19:48:42 +0900 |
parents | ddd38f16b014 |
children | ec609dbb13a7 |
line wrap: on
line source
package lite; import java.util.LinkedList; public class PredicateSolver extends ITLSolver { private LinkedList<ITLSolver> arg; private ITLSolver predicate; public PredicateSolver(ITLSolver predicate, LinkedList<ITLSolver> arg) { this.predicate = predicate; this.arg = arg; // this.token = predicate.token; } @Override public String toString() { return predicate.toString(); } @Override public LinkedList<ITLSolver> arguments() { return arg; } @Override public ITLSolver predicate() { return predicate; } }