├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── SConstruct ├── domains ├── Elev_dom.pddl ├── Elev_ins.pddl ├── Log_dom.pddl ├── Log_ins.pddl ├── Mapana_dom.pddl ├── Mapana_ins.pddl ├── Sched_dom.pddl └── Sched_ins.pddl ├── examples └── parser │ ├── SConscript │ └── parser.cpp ├── minicppunit ├── MiniCppUnit.cpp ├── MiniCppUnit.h └── runner.cpp ├── parser ├── Action.cpp ├── Action.h ├── And.cpp ├── And.h ├── Basic.h ├── CondIter.h ├── Condition.h ├── Derived.cpp ├── Derived.h ├── Domain.h ├── EitherType.h ├── Equals.cpp ├── Equals.h ├── Exists.cpp ├── Exists.h ├── Expression.cpp ├── Expression.h ├── Filereader.h ├── Forall.cpp ├── Forall.h ├── Function.cpp ├── Function.h ├── FunctionModifier.cpp ├── FunctionModifier.h ├── Ground.cpp ├── Ground.h ├── GroundFunc.cpp ├── GroundFunc.h ├── Instance.h ├── Lifted.cpp ├── Lifted.h ├── Not.cpp ├── Not.h ├── Oneof.cpp ├── Oneof.h ├── Or.cpp ├── Or.h ├── ParamCond.cpp ├── ParamCond.h ├── Task.h ├── TemporalAction.cpp ├── TemporalAction.h ├── TokenStruct.h ├── Type.h ├── TypeGround.cpp ├── TypeGround.h ├── When.cpp └── When.h ├── script ├── build.sh └── runtests.sh └── tests ├── DomainTests.cpp ├── SConscript └── expected ├── Elev_dom.pddl ├── Elev_ins.pddl ├── Log_dom.pddl ├── Log_ins.pddl ├── Mapana_dom.pddl ├── Mapana_ins.pddl ├── Sched_dom.pddl └── Sched_ins.pddl /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/README.md -------------------------------------------------------------------------------- /SConstruct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/SConstruct -------------------------------------------------------------------------------- /domains/Elev_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Elev_dom.pddl -------------------------------------------------------------------------------- /domains/Elev_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Elev_ins.pddl -------------------------------------------------------------------------------- /domains/Log_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Log_dom.pddl -------------------------------------------------------------------------------- /domains/Log_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Log_ins.pddl -------------------------------------------------------------------------------- /domains/Mapana_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Mapana_dom.pddl -------------------------------------------------------------------------------- /domains/Mapana_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Mapana_ins.pddl -------------------------------------------------------------------------------- /domains/Sched_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Sched_dom.pddl -------------------------------------------------------------------------------- /domains/Sched_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/domains/Sched_ins.pddl -------------------------------------------------------------------------------- /examples/parser/SConscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/examples/parser/SConscript -------------------------------------------------------------------------------- /examples/parser/parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/examples/parser/parser.cpp -------------------------------------------------------------------------------- /minicppunit/MiniCppUnit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/minicppunit/MiniCppUnit.cpp -------------------------------------------------------------------------------- /minicppunit/MiniCppUnit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/minicppunit/MiniCppUnit.h -------------------------------------------------------------------------------- /minicppunit/runner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/minicppunit/runner.cpp -------------------------------------------------------------------------------- /parser/Action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Action.cpp -------------------------------------------------------------------------------- /parser/Action.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Action.h -------------------------------------------------------------------------------- /parser/And.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/And.cpp -------------------------------------------------------------------------------- /parser/And.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/And.h -------------------------------------------------------------------------------- /parser/Basic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Basic.h -------------------------------------------------------------------------------- /parser/CondIter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/CondIter.h -------------------------------------------------------------------------------- /parser/Condition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Condition.h -------------------------------------------------------------------------------- /parser/Derived.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Derived.cpp -------------------------------------------------------------------------------- /parser/Derived.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Derived.h -------------------------------------------------------------------------------- /parser/Domain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Domain.h -------------------------------------------------------------------------------- /parser/EitherType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/EitherType.h -------------------------------------------------------------------------------- /parser/Equals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Equals.cpp -------------------------------------------------------------------------------- /parser/Equals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Equals.h -------------------------------------------------------------------------------- /parser/Exists.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Exists.cpp -------------------------------------------------------------------------------- /parser/Exists.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Exists.h -------------------------------------------------------------------------------- /parser/Expression.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Expression.cpp -------------------------------------------------------------------------------- /parser/Expression.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Expression.h -------------------------------------------------------------------------------- /parser/Filereader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Filereader.h -------------------------------------------------------------------------------- /parser/Forall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Forall.cpp -------------------------------------------------------------------------------- /parser/Forall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Forall.h -------------------------------------------------------------------------------- /parser/Function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Function.cpp -------------------------------------------------------------------------------- /parser/Function.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Function.h -------------------------------------------------------------------------------- /parser/FunctionModifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/FunctionModifier.cpp -------------------------------------------------------------------------------- /parser/FunctionModifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/FunctionModifier.h -------------------------------------------------------------------------------- /parser/Ground.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Ground.cpp -------------------------------------------------------------------------------- /parser/Ground.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Ground.h -------------------------------------------------------------------------------- /parser/GroundFunc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/GroundFunc.cpp -------------------------------------------------------------------------------- /parser/GroundFunc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/GroundFunc.h -------------------------------------------------------------------------------- /parser/Instance.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Instance.h -------------------------------------------------------------------------------- /parser/Lifted.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Lifted.cpp -------------------------------------------------------------------------------- /parser/Lifted.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Lifted.h -------------------------------------------------------------------------------- /parser/Not.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Not.cpp -------------------------------------------------------------------------------- /parser/Not.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Not.h -------------------------------------------------------------------------------- /parser/Oneof.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Oneof.cpp -------------------------------------------------------------------------------- /parser/Oneof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Oneof.h -------------------------------------------------------------------------------- /parser/Or.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Or.cpp -------------------------------------------------------------------------------- /parser/Or.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Or.h -------------------------------------------------------------------------------- /parser/ParamCond.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/ParamCond.cpp -------------------------------------------------------------------------------- /parser/ParamCond.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/ParamCond.h -------------------------------------------------------------------------------- /parser/Task.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Task.h -------------------------------------------------------------------------------- /parser/TemporalAction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/TemporalAction.cpp -------------------------------------------------------------------------------- /parser/TemporalAction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/TemporalAction.h -------------------------------------------------------------------------------- /parser/TokenStruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/TokenStruct.h -------------------------------------------------------------------------------- /parser/Type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/Type.h -------------------------------------------------------------------------------- /parser/TypeGround.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/TypeGround.cpp -------------------------------------------------------------------------------- /parser/TypeGround.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/TypeGround.h -------------------------------------------------------------------------------- /parser/When.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/When.cpp -------------------------------------------------------------------------------- /parser/When.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/parser/When.h -------------------------------------------------------------------------------- /script/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/script/build.sh -------------------------------------------------------------------------------- /script/runtests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/script/runtests.sh -------------------------------------------------------------------------------- /tests/DomainTests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/DomainTests.cpp -------------------------------------------------------------------------------- /tests/SConscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/SConscript -------------------------------------------------------------------------------- /tests/expected/Elev_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Elev_dom.pddl -------------------------------------------------------------------------------- /tests/expected/Elev_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Elev_ins.pddl -------------------------------------------------------------------------------- /tests/expected/Log_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Log_dom.pddl -------------------------------------------------------------------------------- /tests/expected/Log_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Log_ins.pddl -------------------------------------------------------------------------------- /tests/expected/Mapana_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Mapana_dom.pddl -------------------------------------------------------------------------------- /tests/expected/Mapana_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Mapana_ins.pddl -------------------------------------------------------------------------------- /tests/expected/Sched_dom.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Sched_dom.pddl -------------------------------------------------------------------------------- /tests/expected/Sched_ins.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aig-upf/universal-pddl-parser/HEAD/tests/expected/Sched_ins.pddl --------------------------------------------------------------------------------