15 lines
531 B
Plaintext
15 lines
531 B
Plaintext
module prop-dnf4
|
|
imports libstrategolib prop-laws
|
|
|
|
rules
|
|
dnf4 : True() -> True()
|
|
dnf4 : False() -> False()
|
|
dnf4 : Atom(x) -> Atom(x)
|
|
dnf4 : Not(x) -> <dnfred4> Not (<dnf4>x)
|
|
dnf4 : And(x, y) -> <dnfred4> And (<dnf4>x, <dnf4>y)
|
|
dnf4 : Or(x, y) -> Or (<dnf4>x, <dnf4>y)
|
|
dnf4 : Impl(x, y) -> <dnfred4> Impl(<dnf4>x, <dnf4>y)
|
|
dnf4 : Eq(x, y) -> <dnfred4> Eq (<dnf4>x, <dnf4>y)
|
|
strategies
|
|
dnfred4 = try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DAOL <+ DAOR); dnf4)
|