Calculates the maximum number of times-junction alternations of all paths from the root to one of the leaves.
Calculates the maximum number of times-junction alternations of all paths from the root to one of the leaves. The alternations are a measure for the complexity of the generated clause/sequent set.
the number of times-junction alternations
Struct equality without taking the additional data into account.
Struct equality without taking the additional data into account.
true if the structs are equal modulo data, false otherwise
Allows to access the calculus-specific data of the struct
Allows to access the calculus-specific data of the struct
the corresponding data element
Calculates the size (number of nodes of the tree) of the struct.
Calculates the size (number of nodes of the tree) of the struct.
the size of the struct