diff options
| author | Ed Willink | 2015-03-14 18:29:01 +0000 |
|---|---|---|
| committer | Ed Willink | 2015-03-14 18:37:35 +0000 |
| commit | a104e394e21b54c62d681bc2773fa3e0ca72293f (patch) | |
| tree | 39b78b584f04a1d4707c4601752e44b668a96cbc /examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf | |
| parent | 7be7608d78b917fa3c26193dd8c01d784af8981a (diff) | |
| download | org.eclipse.qvtd-a104e394e21b54c62d681bc2773fa3e0ca72293f.tar.gz org.eclipse.qvtd-a104e394e21b54c62d681bc2773fa3e0ca72293f.tar.xz org.eclipse.qvtd-a104e394e21b54c62d681bc2773fa3e0ca72293f.zip | |
[unrelated] Fix bad package name
Diffstat (limited to 'examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf')
| -rw-r--r-- | examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf/qvtrsrc/DNF_bbox/DNF_bbox.qvtr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf/qvtrsrc/DNF_bbox/DNF_bbox.qvtr b/examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf/qvtrsrc/DNF_bbox/DNF_bbox.qvtr index 72a7b23af..3dca23f2c 100644 --- a/examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf/qvtrsrc/DNF_bbox/DNF_bbox.qvtr +++ b/examples/org.eclipse.qvtd.examples.qvtrelation.modelmorf/qvtrsrc/DNF_bbox/DNF_bbox.qvtr @@ -12,7 +12,7 @@ -- Transforming an arbitrary boolean expression into disjunctive normal form by using -- DeMorgan's law -import exprMM : 'DNFMM.emof'::exprMM; +import exprMM : 'DNFMM.emof'::deMorgansLawMM; transformation DNF_bbox(expr1:exprMM, expr2:exprMM) { |