Some/many rules can be used both ways. For example, in propositional logic we have
  A10 : Impl(x, y) -> Or(Not(x), y)
  A11 : Or(Not(x), y) -> Impl(x, y)
It would be more attractive to be able to write
  A10 : Impl(x, y) <-> Or(Not(x), y)
then, A10L would refer to the first rule and A10R to the second

-- EelcoVisser - 27 Oct 2001

CategoryToDo? | LanguageExtensions

Revision: r1.1 - 27 Oct 2001 - 13:11 - EelcoVisser
Stratego > ReversibleRules
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback