| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instance-calculator/src/Main.java')
| -rw-r--r-- | instance-calculator/src/Main.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/instance-calculator/src/Main.java b/instance-calculator/src/Main.java index b521324..a23da06 100644 --- a/instance-calculator/src/Main.java +++ b/instance-calculator/src/Main.java @@ -37,6 +37,8 @@ public class Main } create_instances(); + Instances.write_predicates(); + OutputFile.close_all(); } private static void create_instances () @@ -84,6 +86,7 @@ public class Main e.generate_instance(); + e.write_predicates(); processed_candidates.add(e); } else |