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.