Module syntaxdot_encoders::lemma

Structs

EditTreeEncoder	Edit tree-based lemma encoder.
TdzLemmaEncoder	Lemma encoder-decoder for TüBa-D/Z

Enums

BackoffStrategy	Back-off strategy.
EditTree	Enum representing a TreeNode of an Graph<TreeNode<T>,Place>.
EncodeError	Lemma encoding error.