cottax.core.maths.plan

Edits, over a NestingGraph: algebra.py is what an edit is as a record – GraphOp, ComposedOp, StagedOp, Plan; primitive.py the primitives, each proved through rebound – Rebind and its finals, Nest, Unnest; and ops.py the ops on Redefine, every edit of what a node reads, owns and determines. Nothing below reads a plan.

Submodules

• cottax.core.maths.plan.algebra module
  • refusals()
  • proved_once()
  • GraphOp
  • ComposedOp
  • Stage
  • StagedOp
  • Plan
• cottax.core.maths.plan.ops module
  • Relabel
  • check_renames_places_the_node_has()
  • Rewire
  • Replace
  • Rename
  • check_readers()
  • check_cuts_a_produced_place()
  • check_readers_read_var()
  • Cut
  • check_unknowns()
  • check_determines_nothing_yet()
  • check_determines_something()
  • Determine
  • Undetermine
  • NoReaders
  • NoUnknowns
  • UnknownTwice
  • AlreadyDetermined
  • AlreadyUndetermined
  • NotRenamed
  • NotProduced
  • DoesNotRead
  • AlreadyCut
• cottax.core.maths.plan.primitive module
  • unbreakable()
  • in_full()
  • Edited
  • Primitive
  • fully_checked()
  • rebound()
  • Rebinding
  • check_rebound_owns_disjoint()
  • check_rebound_reads_exact()
  • Rebind
  • check_names_free()
  • check_names_bound()
  • check_delete_keeps_nesting_whole()
  • check_inserts()
  • Insert
  • check_deletes()
  • Delete
  • Redefine
  • check_nodes()
  • check_folds_one_kind()
  • check_lands_on_its_own()
  • Combine
  • check_nesting()
  • check_unnesting()
  • Nest
  • Unnest
  • NothingInserted
  • NothingDeleted
  • NothingToCombine
  • NodeTwice
  • NotAddable
  • NotOfKind
  • NameTaken
  • NotBound
  • Stranded
  • NotNested
  • AlreadyNested