term_rewriting-0.7.0
- term_rewriting 0.7.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- joshrule
- Dependencies
- itertools ^0.7 normal
  nom ^4.0 normal
  rand ^0.5 normal
- Versions
- 88.61% of the crate is documented
Platform
Feature flags

docs.rs

Rust

term_rewriting0.7.0

Crate Items

Structs
Enums
Functions
Type Aliases

List of all items

Structs

Operator
Rule
RuleContext
Signature
SignatureChange
TRS
Variable
trace::Trace
trace::TraceNode
trace::TraceNodeIter

Enums

Atom
Context
MergeStrategy
ParseError
Strategy
TRSError
Term
trace::TraceState

Functions

parse
parse_context
parse_rule
parse_rulecontext
parse_term
parse_trs

Type Aliases

Place