tangles#
Modules
Calculate and analyse guiding sets |
|
Classes
An Forbidden-Tuples-Tree (FTT) |
|
A node in the tangle search tree |
|
A rooted binary tree that is created while searching tangles |
|
Search object which builds and extends the tangle search tree |
|
An edge in a tree of tangles |
|
A node in a tree of tangles |
|
A tree which nodes are precisely the maximal tangles in the tangle search tree |
|
A |
Functions
Return an agreement function that calculates the agreement value for separations in the given separation system |
|
Uncross the efficient distinguishers of tangles of at least the specified agreement value |