Enum lrs::OperationType

pub enum OperationType {
    DERIVE,
    JOIN,
    DELETE,
    BRANCH,
}

Describes a reduce operation type

Variants

DERIVE

Eliminates single symbol terms

JOIN

Joins two terms, eliminating at most one symbol

DELETE

Delete a symbol from a term for different reasons

BRANCH

Run a branching scenario