return true if s1 depends on s2, i.e, s1 has a link to s2
the class names of all the linked specifications
all the linked specifications
all the referenced specifications
the class names of all the referenced specifications
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
means "dependents last"!
the class names of all the see specifications
all the see specifications
all the referenced spec structures
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
sort the specifications in topological order where specification i doesn't depend on specification j if i > j
means "dependents first"!
Create SpecStructures from header, arguments, fragments