Hi,
I want ot transform an implication like "rich=true
implies married=true"
to "not (rich=true) or married=true".
I can not change the AST, as I read in the sablecc
descriptions.
Must I build my own tree (Jtree) to make the
transformation or can I do it with
technics of CRT->AST Transformation?
Thank You in advance
|