next up previous
Next: Overview of BABYLON

Adding a data structure to BABYLON: Some guidelines



This document describes how to "add" a data structure to BABYLON. The only work that has to be done is to export the requested operations in order to let BABYLON  use them in its backward reachability algorithms. The export itself is done by mean of a C++ class, which prototype is explained here. The expected functions are also detailed.

Giles Geeraerts 2002-01-29