| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instance-calculator/src/Instances.java')
| -rw-r--r-- | instance-calculator/src/Instances.java | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/instance-calculator/src/Instances.java b/instance-calculator/src/Instances.java index 5d6ec8b..d4954d9 100644 --- a/instance-calculator/src/Instances.java +++ b/instance-calculator/src/Instances.java @@ -2,11 +2,13 @@ import java.util.*; public class Instances { - private static final Map<Integer, String> instances; + private static final Map<Integer, String> INSTANCES; + private static final OutputFile OUTPUT_FILE; static { - instances = new HashMap<Integer, String>(); + INSTANCES = new HashMap<Integer, String>(); + OUTPUT_FILE = OutputFile.new_output_file("instances.mod"); } public static String get_id_for (final int i) @@ -16,15 +18,27 @@ public class Instances j = new Integer(i); - result = instances.get(j); + result = INSTANCES.get(j); if (result == null) { result = (Main.get_parameters().get_id_prefix() + i); - instances.put(j, result); + INSTANCES.put(j, result); } return result; } + + public static void write_predicates () + { + for (final String id: INSTANCES.values()) + { + OUTPUT_FILE.write("(add_element instance "); + OUTPUT_FILE.write(id); + OUTPUT_FILE.write(")"); + + OUTPUT_FILE.insert_newline(); + } + } } |