Package | Description |
---|---|
de.uka.ilkd.key.smt.hierarchy |
Modifier and Type | Method and Description |
---|---|
java.util.Set<SortNode> |
SortNode.getChildren() |
java.util.Set<SortNode> |
TypeHierarchy.getChildren(Sort s)
Returns the children of a sort s.
|
java.util.Set<SortNode> |
SortNode.getParents() |
java.util.Set<SortNode> |
TypeHierarchy.getParents(Sort s)
Returns the parents of a sort s.
|
Modifier and Type | Method and Description |
---|---|
void |
SortNode.addChild(SortNode s) |
void |
SortNode.addParent(SortNode s) |
void |
SortNode.removeChild(SortNode s) |
void |
SortNode.removeParent(SortNode s) |
Copyright © 2003-2019 The KeY-Project.