Skip to content

ratioSolver/RiDDLe

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.