Interface | Description |
---|---|
ADTExtender |
Interface for configuration objects that specify how to finalize the temporary splitter given by regular
counterexample decomposition.
|
LeafSplitter |
Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs
refinement.
|
PartialTransitionAnalyzer<S,I> |
During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.
|
SubtreeReplacer |
Interface for configuration objects that specify how nodes of the current ADT should be replaced.
|
Exception | Description |
---|---|
PartialTransitionAnalyzer.HypothesisModificationException |
A helper exception to interrupt computations on an invalid hypothesis.
|
Copyright © 2018. All rights reserved.