| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | src/hastabel2idp/idp/Theory.java | 8 |
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(); } |