| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | 99_general.txt | 2 | ||||
| -rw-r--r-- | src/hastabel2idp/idp/Theory.java | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/99_general.txt b/99_general.txt index 9dee3df..4f0e7c7 100644 --- a/99_general.txt +++ b/99_general.txt @@ -1,4 +1,4 @@ procedure main(){ - printmodels(allmodels(T,S,Vout)) + printmodels(onemodel(T,S,Vout)) } diff --git a/src/hastabel2idp/idp/Theory.java b/src/hastabel2idp/idp/Theory.java index 52f4ee4..282c518 100644 --- a/src/hastabel2idp/idp/Theory.java +++ b/src/hastabel2idp/idp/Theory.java @@ -33,6 +33,8 @@ public class Theory { boolean is_first; + out.write(" "); + for (final Variable argument: arguments) { out.write("!"); @@ -59,9 +61,9 @@ public class Theory out.write(argument.get_name()); } - out.write(") <=> "); + out.write(") <=> ("); out.write(hastabel2idp.idp.lang.Formula.convert(formula).toString()); - out.write("."); + out.write(")."); out.insert_newline(); } |