Mercurial > hg > Applications > JavaLite

changeset 40:98c192e9e8b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Wed, 02 Jan 2008 17:42:03 +0900
parents dff6133157de
children a6b6e2ea7792
files src/lite/ChopSolver.java src/lite/ITLNodeFactory.java
diffstat 2 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/lite/ChopSolver.java	Wed Jan 02 14:29:13 2008 +0900
+++ b/src/lite/ChopSolver.java	Wed Jan 02 17:42:03 2008 +0900
@@ -4,7 +4,7 @@
 
 public class ChopSolver extends ITLSolver {
 
-	private ITLSolver former;
+	protected ITLSolver former;
 	private ITLSolver later;
 	private VariableSolver innerEmpty;
 	private ITLSolver outerEmpty;
--- a/src/lite/ITLNodeFactory.java	Wed Jan 02 14:29:13 2008 +0900
+++ b/src/lite/ITLNodeFactory.java	Wed Jan 02 17:42:03 2008 +0900
@@ -86,4 +86,8 @@
 	public ITLSolver projectionNode(ITLSolver p,ITLSolver q) {
 		return new ProjectionSolver(p,q);
 	}
+
+	public ITLSolver bddNode(ITLSolver cond, ITLSolver high, ITLSolver low) {
+		return new BDDSolver(cond,high,low);
+	}
 }