Go to the source code of this file.
Classes | |
class | TreeProjection |
Implements the tree-projection operator within the family of SymbolicOperators. More... | |
Variables | |
static TreeProjection | emptyTreeProjection |
TreeProjection emptyTreeProjection [static] |
Definition at line 287 of file tree_projection.hpp.