| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | None |
HetsAPI.Refinement
Description
Documentation
data RefinementTreeNode Source #
Constructors
| RefinementTreeNode | |
Fields
| |
type RefinementTreeLink = RTLinkLab Source #
getRefinementTree :: String -> DGraph -> Maybe (Gr RefinementTreeNode RefinementTreeLink) Source #
getAvailableSpecificationsForRefinement :: DGraph -> [String] Source #