From: bdemsky <bdemsky>
Date: Sun, 20 Feb 2005 20:38:05 +0000 (+0000)
Subject: Make merging nodes an option.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=54597fb35ad6948a03dddb1744c32c4e3648244b

Make merging nodes an option.
---

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index 5d25732..0a0859c 100755
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -346,7 +346,8 @@ public class Termination {
 	    TermNode tnsatisfy=new TermNode(satisfy);
 	    GraphNode gnsatisfy=new GraphNode("SatisfyRule"+i,tnsatisfy);
 	    gnsatisfy.setOption(scopeoption);
-	    gnsatisfy.setMerge();
+            if (Compiler.MERGENODES)
+                gnsatisfy.setMerge();
 	    ConsequenceNode cnsatisfy=new ConsequenceNode();
 	    TermNode ctnsatisfy=new TermNode(cnsatisfy);
 	    GraphNode cgnsatisfy=new GraphNode("ConseqSatisfyRule"+i,ctnsatisfy);
@@ -362,7 +363,8 @@ public class Termination {
 	    TermNode tnfalsify=new TermNode(falsify);
 	    GraphNode gnfalsify=new GraphNode("FalsifyRule"+i,tnfalsify);
 	    gnfalsify.setOption(scopeoption);
-	    gnfalsify.setMerge();
+            if (Compiler.MERGENODES)
+                gnfalsify.setMerge();
 	    ConsequenceNode cnfalsify=new ConsequenceNode();
 	    TermNode ctnfalsify=new TermNode(cnfalsify);
 	    GraphNode cgnfalsify=new GraphNode("ConseqFalsifyRule"+i,ctnfalsify);