IDP printer sometimes forgets points

Issue #392 new
Bart Bogaerts created an issue

points at end of sentences are missing sometimes (see output below)

print(aspsolution) theory aspsolution : aspvoc { (! g[Good] : (? c[Company] : (produces(c,g) & strategic(c)))) (! c[Company] g[Good] : (~Choose(g,c) | produces(c,g))) (! c[Company] g[Good] : (~Choose(g,c) | ~(? c2[Company] : (produces(c2,g) & ((c2 ~= c) & strategic(c2)))))) strategic(C1) strategic(C2) { ! X1[Company] : strategic(X1) <- (? X[Good] : Choose(X,X1)). ! X[Company] : strategic(X) <- ownedByStrategic(X). ! c[Company] : ownedByStrategic(c) <- (~uncontrolled(c) & (! o[Company] : (~controls(o,c) | strategic(o)))). } }

Comments (0)

  1. Log in to comment