pub fn simplify(
expr: &RegularPathExpr,
) -> Result<RegularPathExpr, RPQBuildError>Expand description
Algebraic simplification (Section 8.2, Paper 2):
a|a -> a, (a*)* -> a*, a*|a -> a*, a*/a* -> a*, plus
canonicalization of alternation operand order.