search

idaks / PW-explorer

Apache License 2.0
16 stars 1 forks source link

Allowing 0 Arity atoms in clingo grammar #15

Closed sahil1105 closed 5 years ago

sahil1105 commented 5 years ago

Add ability to parse atoms with 0-arity. Grammar currently doesn't support it. Change from:

actual_soln: TEXT+ '(' custom_representation_soln ')' ;

to:

actual_soln: TEXT+ ('(' custom_representation_soln ')')? ;
sahil1105 commented 5 years ago

Added to code-base. Will be available with the next release