at.logic.gapt.proofs.lk.cutIntroduction
Returns the set of eigenvariables that occur in the grammar.
Returns the number of eigenvariables that occur in this grammar.
Returns the size of the grammar, i.e.
Returns the size of the grammar, i.e. |u| + |s|