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 |
|
static |
Definition at line 287 of file tree_projection.hpp.