]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
(refs #7250) CHR rules modularization (first working version) 85/585/5
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Thu, 1 Jun 2017 10:04:26 +0000 (13:04 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 2 Jun 2017 11:17:33 +0000 (14:17 +0300)
This change adds a complete implementation of CHR modularization. New
top level declaration ruleset allows to define rulesets that can be
included into other rulesets (see CHR{5,6}.scl).

Change-Id: I3a188d788602fa27f863e16969f956d79c9684a9


No differences found