It returns whether n
is an head element.
Defines the prefix of this object's toString representation.
Returns the elements which are part of the ordering in the correct order.
Converts a GraphOrdering into a string composed by the sequence of its elements in the correct order.
Converts a GraphOrdering into a string composed by the sequence of its elements in the correct order. Head elements are marked with parenthesis.
A GraphOrdering is an ordering on objects of the type
N
(which should be thought of as nodes of a graph), where for each object we mark whether it is an head element or not. Note that a graph ordering generally considers only a subset of the elements of typeN
, those returned by thetoSeq
method. The result of applying any method of this trait on any element which is not part of the domain is not specified.the type of the ordered element.