10 lines
373 B
Plaintext
10 lines
373 B
Plaintext
module prop-dnf10
|
|
imports libstrategolib signatures/- prop-laws
|
|
|
|
strategies
|
|
proptr10(s) = Not(s) <+ And(s, s) <+ Or(s, s) <+ Impl(s, s) <+ Eq(s, s)
|
|
propbu10(s) = try(proptr10(propbu10(s))); s
|
|
strategies
|
|
dnf10 = propbu10(try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DAOL <+ DAOR); dnf10))
|
|
cnf10 = propbu10(try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DOAL <+ DOAR); cnf10))
|