de.uka.ilkd.key.smt.hierarchy

Class SortNode

java.lang.Object

de.uka.ilkd.key.smt.hierarchy.SortNode

public class SortNode
extends java.lang.Object

Represents a node in the class hierarchy. Each SortNode contains a Sort and links to SortNodes containing the parents and the children of the sort.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<SortNode>	children
private java.util.Set<SortNode>	parents
private Sort	sort

Constructor Summary

Constructors

Constructor and Description
SortNode(Sort sort)

Method Summary

Modifier and Type	Method and Description
void	addChild(SortNode s)
void	addParent(SortNode s)
boolean	equals(java.lang.Object o)
java.util.Set<SortNode>	getChildren()
java.util.Set<SortNode>	getParents()
Sort	getSort()
void	removeChild(SortNode s)
void	removeParent(SortNode s)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

sort

private Sort sort

parents

private java.util.Set<SortNode> parents

children

private java.util.Set<SortNode> children

Constructor Detail

SortNode

public SortNode(Sort sort)

Method Detail

removeParent

public void removeParent(SortNode s)

addParent

public void addParent(SortNode s)

removeChild

public void removeChild(SortNode s)

addChild

public void addChild(SortNode s)

getSort

public Sort getSort()

getParents

public java.util.Set<SortNode> getParents()

getChildren

public java.util.Set<SortNode> getChildren()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object