public static void dumpPredicates(StreamWriter file, IEnumerable <Predicate> predicates)
{
file.WriteLine("\n;Predicates");
var map = new SortedDictionary <string, Predicate>();
foreach (var p in predicates)
{
if (!Slicer.isInterpreted(p))
{
map[polish(p)] = p;
}
}
foreach (var kv in map)
{
var p = kv.Value;
file.Write("(declare-fun {0} (", polish(p));
foreach (var t in p.argumentTypes)
{
file.Write(" " + polish(t));
}
file.WriteLine(" ) Bool)");
}
}
public static void dumpFunctions(StreamWriter file, IEnumerable <Function> functions)
{
file.WriteLine("\n;Functions");
var map = new SortedDictionary <string, Function>();
foreach (var f in functions)
{
if (!Slicer.isInterpreted(f))
{
map[polish(f)] = f;
}
}
foreach (var kv in map)
{
var f = kv.Value;
file.Write("(declare-fun {0} (", polish(f));
foreach (var t in f.argumentTypes)
{
file.Write(" " + polish(t));
}
file.WriteLine(" ) {0})", polish(f.resultType));
}
}