add a new propositionalSimplify() entrypoint
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
3e5a267a9d
commit
64b366b585
|
@ -142,6 +142,14 @@ public class Simplifier {
|
||||||
}
|
}
|
||||||
return result;
|
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
|
* Assuming a set of facts holds, simplify a CNF formula
|
||||||
|
|
Loading…
Reference in New Issue