Skip to content

Latest commit

 

History

History
43 lines (37 loc) · 781 Bytes

api.md

File metadata and controls

43 lines (37 loc) · 781 Bytes
Raw

Library Reference

Rewrite

Modules = [
  AlgebraicRewriting.Constraints,
  AlgebraicRewriting.Utils,
  AlgebraicRewriting.DPO,
  AlgebraicRewriting.CoNeg,
  AlgebraicRewriting.SPO,
  AlgebraicRewriting.SqPO,
  AlgebraicRewriting.PBPO,
  AlgebraicRewriting.Migration
]

Schedules

Modules = [
  AlgebraicRewriting.Theories,
  AlgebraicRewriting.Poly,
  AlgebraicRewriting.Wiring,
  AlgebraicRewriting.Eval,
  AlgebraicRewriting.Basic,
  AlgebraicRewriting.Conditionals,
  AlgebraicRewriting.RuleApps,
  AlgebraicRewriting.Queries,
  AlgebraicRewriting.Visuals
]

CategoricalAlgebra

Modules = [
AlgebraicRewriting.FinSets,
AlgebraicRewriting.CSets,
AlgebraicRewriting.StructuredCospans,
AlgebraicRewriting.PartialMap
]