From 64b366b585bb0dcf869c96c17c5f87772cfd7225 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Tue, 9 Oct 2007 14:26:01 +0000
Subject: [PATCH] add a new propositionalSimplify() entrypoint

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.core/src/com/ibm/wala/logic/Simplifier.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/Simplifier.java b/com.ibm.wala.core/src/com/ibm/wala/logic/Simplifier.java
index 90cc06bc7..0db28e4a9 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/Simplifier.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/Simplifier.java
@@ -142,6 +142,14 @@ public class Simplifier {
     }
     return result;
   }
+  /**
+   * Simplify the set s based on simple propositional logic.
+   */
+  public static IFormula propositionalSimplify(IFormula f, Collection<? extends IFormula> t,
+      ISemiDecisionProcedure dec) {
+    Collection<IFormula> result = propositionalSimplify(Collections.singleton(f), t, dec);
+    return result.iterator().next();
+  }
 
   /**
    * Assuming a set of facts holds, simplify a CNF formula