11 lines
332 B
Plaintext
11 lines
332 B
Plaintext
module prop-dnf8
|
|
imports libstrategolib prop-laws prop-dnf7
|
|
|
|
strategies
|
|
propbu8(s) = try(proptr7(propbu8(s))); s
|
|
strategies
|
|
dnf8 = propbu8(dnfred8)
|
|
dnfred8 = try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DAOL <+ DAOR); dnf8)
|
|
cnf8 = propbu8(cnfred8)
|
|
cnfred8 = try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DOAL <+ DOAR); cnf8)
|