| Revision | 20 (tree) |
|---|---|
| Time | 2016-05-04 07:36:44 |
| Author | y-moriguchi |
modify parser
| @@ -100,6 +100,9 @@ | ||
| 100 | 100 | s = new NormalTerm(t.getValue(), r1); |
| 101 | 101 | return s; |
| 102 | 102 | } else if(t.isVariable()) { |
| 103 | +// if(mp.get(t) == null) { | |
| 104 | +// mp.put((Variable)t, (Variable)t.newVariable()); | |
| 105 | +// } | |
| 103 | 106 | return mp.get(t); |
| 104 | 107 | } else if(t instanceof ConstraintTerm) { |
| 105 | 108 | ConstraintTerm f = (ConstraintTerm)t; |
| @@ -2933,6 +2933,9 @@ | ||
| 2933 | 2933 | Variable var = f.getKey().getVariable1(); |
| 2934 | 2934 | if(var != null && var.getValue().equals(variable)) { |
| 2935 | 2935 | res1 = true; |
| 2936 | + } else { | |
| 2937 | + res1 = false; | |
| 2938 | + break; | |
| 2936 | 2939 | } |
| 2937 | 2940 | } |
| 2938 | 2941 | } |