Features
Legend
| Symbol | Meaning |
|---|---|
| Y | Implemented and stable |
| y | Implemented and unstable (untested, or known to have bugs, or likely to change) |
| n | Under development |
| N | Planned |
| No plans |
Forest types
| Abbrv. | Status | Range | Value mechanism | Set/relation |
|---|---|---|---|---|
| MDD | Y | boolean | terminals | set |
| MxD | Y | boolean | terminals | relation |
| MTMDD | Y | integer | terminals | set |
| MTMxD | Y | integer | terminals | relation |
| MTMDD | Y | real | terminals | set |
| MTMxD | Y | real | terminals | relation |
| MTMDD | N | user-defined | terminals | set |
| MTMxD | N | user-defined | terminals | relation |
| EV+MDD | y | integer | sum of edge values | set |
| EV+MxD | y | integer | sum of edge values | relation |
| EV*MDD | y | real | product of edge values | set |
| EV*MxD | y | real | product of edge values | relation |
Operations
| Operation | MDD | MxD | MTMDD | MTMxD | EV+MDD | EV+MxD | EV*MDD | EV*MxD |
|---|---|---|---|---|---|---|---|---|
| Node count | Y | Y | Y | Y | Y | Y | Y | Y |
| Edge count | Y | Y | Y | Y | Y | Y | Y | Y |
| Create edge | Y | Y | Y | Y | y | y | y | y |
| Iterators | Y | Y | Y | Y | y | y | y | y |
| Cardinality | Y | Y | Y | Y | y | y | y | y |
| Complement | Y | Y | ||||||
| Or / Set Union | Y | Y | ||||||
| And / Set Intersection | Y | Y | ||||||
| Set Difference | Y | Y | ||||||
| Pre-Image | Y | Y | Y | Y | n | n | n | n |
| Post-Image | Y | Y | Y | Y | n | n | n | n |
| Forward reachability | Y | Y | Y | Y | n | n | n | n |
| Forward saturation | Y | Y | Y | Y | n | n | n | n |
| Backward reachability | Y | Y | Y | Y | n | n | n | n |
| Backward saturation | Y | Y | Y | Y | n | n | n | n |
| Element-wise + | Y | Y | n | n | n | n | ||
| Element-wise - | Y | Y | n | n | n | n | ||
| Element-wise * | Y | Y | n | n | n | n | ||
| Element-wise / | Y | Y | n | n | n | n | ||
| Element-wise compare | Y | Y | n | n | n | n | ||
| Element-wise max/min | Y | Y | n | n | n | n |