Package | Description |
---|---|
de.uni_due.inf.ti.raven.data |
Classes to create, represent, manipulate data.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
Modifier and Type | Method and Description |
---|---|
static PathDecomposition |
PathDecomposition.getPathDecomposition(Permutation permutation)
Creates a new path decomposition from the permutation
permutation . |
static PathDecomposition |
PathDecomposition.getPathDecomposition(TreeDecomposition treeDecomposition)
Creates a new path decomposition from the tree decomposition
decomposition . |
Modifier and Type | Method and Description |
---|---|
static CospanDecomposition |
CospanDecomposition.getCospanDecomposition(PathDecomposition pathDecomposition)
Returns a cospan decomposition created from the path decomposition
decomposition |
Modifier and Type | Method and Description |
---|---|
static InformationPanel<PathDecomposition> |
PathDecompositionInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given path decomposition.
|