Macros§
- define_
ast_ node - define_
attribute - define_
constraint - define_
program - define_
task_ node - register_
ast_ nodes - register_
attribute - register_
attribute_ new - register_
concept - register_
constraint_ new - register_
programs_ for_ constraint - register_
satisfiable_ constraints - register_
task_ nodes