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)); } }