Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
logical_expressions_includes		logical_expressions_includes
utils		utils
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
RDDLParser.cpp		RDDLParser.cpp
RDDLParser.h		RDDLParser.h
README.md		README.md
evaluatables.cc		evaluatables.cc
evaluatables.h		evaluatables.h
instantiator.cc		instantiator.cc
instantiator.h		instantiator.h
lexer.l		lexer.l
logical_expressions.cc		logical_expressions.cc
logical_expressions.h		logical_expressions.h
parser.ypp		parser.ypp
parser_main.cpp		parser_main.cpp
preprocessor.cc		preprocessor.cc
preprocessor.h		preprocessor.h
probability_distribution.cc		probability_distribution.cc
probability_distribution.h		probability_distribution.h
rddl.cc		rddl.cc
rddl.h		rddl.h
states.cc		states.cc
states.h		states.h
task_analyzer.cc		task_analyzer.cc
task_analyzer.h		task_analyzer.h

Repository files navigation

PROST's RDDL Parser

This repository contains a compilable RDDL (https://github.com/ssanner/rddlsim) parser using flex and bison.

The code was extracted from PROST's Planner repository (https://bitbucket.org/tkeller/prost/overview) and added here to be used with ROSPlan (https://github.com/KCL-Planning/ROSPlan).

Using a slightly modified version of the parser from PROST's commit 33a8f41 (2018-09-14).