patrick
/
plasp
Archived
1
0
Fork 0
This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/include/plasp
Patrick Lühne 2288fa891e
Replacing user-defined variable names.
This replaces all user-defined variable names with continuously numbered
ones so that they don’t lead to syntax problems in ASP, while still
unique and distinguishable. For instance, this avoids problems when
variable names contain hyphens, which are allowed in PDDL identifiers
but not in ASP variables.
2017-11-25 00:37:09 +01:00
..
pddl Replacing user-defined variable names. 2017-11-25 00:37:09 +01:00
sas Moved color logging to separate library for reusing it in PDDL parser. 2017-06-22 20:58:31 +02:00
Language.h Removed Boost dependency in language distinction. 2017-10-28 15:44:37 +02:00
LanguageDetection.h Added missing inline directive. 2017-10-14 02:13:46 +02:00
TranslatorException.h Moved color logging to separate library for reusing it in PDDL parser. 2017-06-22 20:58:31 +02:00