Uses of Class net.automatalib.modelchecker.m3c.solver.WitnessTree (AutomataLib 0.11.0 API)

Packages that use WitnessTree
Package Description

net.automatalib.modelchecker.m3c.visualization

Uses of WitnessTree in net.automatalib.modelchecker.m3c.visualization

Fields in net.automatalib.modelchecker.m3c.visualization declared as WitnessTree
Modifier and Type	Field	Description
`protected WitnessTree<?,?>`	AbstractVisualizationHelper.`resultTree`
`protected WitnessTree<?,?>`	AbstractVisualizationHelper.`resultTree`
`protected WitnessTree<?,?>`	AbstractVisualizationHelper.`resultTree`
`protected WitnessTree<?,?>`	AbstractVisualizationHelper.`resultTree`

Constructors in net.automatalib.modelchecker.m3c.visualization with parameters of type WitnessTree
Constructor	Description
`ColorVisualizationHelper(WitnessTree<?,?> resultTree)`
`EdgeVisualizationHelper(WitnessTree<?,?> resultTree)`
`HTMLVisualizationHelper(WitnessTree<?,?> resultTree)`
`HTMLVisualizationHelper(WitnessTree<?,?> resultTree, boolean shortDisplay)`
`NodeVisualizationHelper(WitnessTree<?,?> resultTree)`