summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-30 11:22:16 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-30 11:22:16 +0200
commitaebd8f1bd52495b0a787e0cccfa4501141eace2b (patch)
treef2c0339b6cb0767fd858ea21523fd18f1bfdd075 /instance-calculator/src/Main.java
parent882d605d684abf7120a1b5b095e7f5425e77dd34 (diff)
Outputs are now generated.
Diffstat (limited to 'instance-calculator/src/Main.java')
-rw-r--r--instance-calculator/src/Main.java3
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