Module syntaxdot_encoders::lemma

Structs

EditTreeEncoder

Edit tree-based lemma encoder.

Enums

BackoffStrategy

Back-off strategy.

EditTree

Enum representing a TreeNode of an Graph<TreeNode<T>,Place>.

EncodeError

Lemma encoding error.