natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/docs/content/todo-processing.md

1.0 KiB
Raw Blame History

Constraints processing

  • intro
  • Terms
    • abstract data structure
    • keeping arbitrary POJO
    • unification
  • Logical variables
    • monotonic
    • Terms with logical vars
    • unification binds logicals
    • logicals are observable
      • parent observer
      • value observer
  • Constraints and predicates
    • What is a constraint.
    • Constraint arguments.
      • POJO
      • Term
      • Logical vars
    • what is a predicate
    • tell / ask
  • Constraint production (constraint rule)
    • kept constraints vs. replaced constraints
      • simplification/propagation/simpagation
      • constraint store
      • constraint lifecycle
    • condition for firing a production
      • on start - how it’s actually implemented (main)
    • automatic binding of logicals on firing
    • guard condition
    • predicates
      • arbitrary java code
    • body
      • alternate body