summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2018-05-30 15:42:34 +0200
committernsensfel <SpamShield0@noot-noot.org>2018-05-30 15:42:34 +0200
commitff6a760c28d16a42bbd09eb29b5b13b4a20778dd (patch)
tree9ddb0c82e1a97d56606ffeaeed10895982c38ae7
parent4de13d2cc740eee7d41ddf471890faaaeebda831 (diff)
downloadhastabel2idp-ff6a760c28d16a42bbd09eb29b5b13b4a20778dd.zip
hastabel2idp-ff6a760c28d16a42bbd09eb29b5b13b4a20778dd.tar.bz2
Considerable speed boost.
-rw-r--r--src/hastabel2idp/idp/Theory.java8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/hastabel2idp/idp/Theory.java b/src/hastabel2idp/idp/Theory.java
index c706e7d..db55a42 100644
--- a/src/hastabel2idp/idp/Theory.java
+++ b/src/hastabel2idp/idp/Theory.java
@@ -22,6 +22,8 @@ public class Theory
{
out.write("theory T:V {");
out.insert_newline();
+ out.write(" {");
+ out.insert_newline();
}
public void add_predicate
@@ -33,7 +35,7 @@ public class Theory
{
boolean is_first;
- out.write(" ");
+ out.write(" ");
for (final Variable argument: arguments)
{
@@ -61,7 +63,7 @@ public class Theory
out.write(argument.get_name());
}
- out.write(") <=> (");
+ out.write(") <- (");
out.write(formula.toString());
out.write(").");
out.insert_newline();
@@ -69,6 +71,8 @@ public class Theory
public void write_footer ()
{
+ out.write(" }");
+ out.insert_newline();
out.write("}");
out.insert_newline();
}