/RiDDLe

Rational Domain Definition Language (RiDDLe)

Primary LanguageC++Apache License 2.0Apache-2.0

The RiDDLe Language

Build Status

The Rational Domain Definition Language (RiDDLe) takes inspiration from the DDL.1 language and extends it introducing a pure object-oriented approach to the definition of timeline-based domains and problem definitions, allowing an higher decomposition of the domain model and an increase of modularity with a consequent reduction of the the overall complexity at design phase.

This repository contains a C++ parser of the RiDDLe language, providing the data structures that facilitate the integration of the parser with a solver. By inheriting from the core class, in particular, it is possible to easily develop a new solver that can be used to solve RiDDLe problems.

A reacher description of the RiDDLe language can be found here.