Commit Graph

120 Commits

Author SHA1 Message Date
d118788142 Parsing <none of those> values in SAS files. 2016-05-23 01:27:28 +02:00
081b604c40 Added test for removal of trailing parantheses with 0-ary predicates. 2016-05-23 00:47:30 +02:00
d8d6998936 Escaping predicates containing hyphens for ASP output. 2016-05-22 20:19:45 +02:00
1e47173d17 Made Predicate a proper class. 2016-05-22 16:00:58 +02:00
6677ded33e Made Effect a proper class. 2016-05-22 15:46:41 +02:00
37af6d5127 Made AxiomRule a proper class. 2016-05-22 15:00:54 +02:00
21237ecac7 Made Operator a proper class. 2016-05-22 14:35:53 +02:00
90dfa302a9 Made Goal a proper class. 2016-05-22 14:04:58 +02:00
beef3aca60 Made InitialState a proper class. 2016-05-22 13:58:05 +02:00
c7c7a93eba Outsourced SAS value parsing. 2016-05-21 17:09:55 +02:00
273e310c60 Made Value a proper class. 2016-05-21 16:22:40 +02:00
5e016d2d79 Made Variable a proper class. 2016-05-21 15:54:03 +02:00
e714060112 Added tests for parsing the operator predicates. 2016-05-21 02:06:35 +02:00
0e4233cc65 Added tests for parsing value signs. 2016-05-21 01:20:27 +02:00
fa19c0e848 Fixed Google Test version to release 1.7.0. 2016-05-21 00:35:44 +02:00
e0c510a95f Added Google Test as a submodule to avoid potential linking issues. 2016-05-20 21:59:44 +02:00
38c8a96d99 Added missing REQUIRED flag in CMake file for tests. 2016-05-20 21:37:30 +02:00
5096161de9 Added custom target for executing the tests. 2016-05-20 20:00:03 +02:00
ffda7b5e27 Minor formatting. 2016-05-20 19:50:11 +02:00
16b8b4c833 Added tests for SAS parser. 2016-05-20 18:46:37 +02:00