File: function_definition_equiv.tex

package info (click to toggle)
kimwitu-doc 10a-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 1,192 kB
  • ctags: 341
  • sloc: makefile: 164; yacc: 125; ansic: 40; lex: 18; sh: 2
file content (10 lines) | stat: -rw-r--r-- 718 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 
% Remember to use the lgrind style

\File{function\_definition\_equiv.k},{14:53},{Feb 10 1998}
\L{\LB{\V{boolean}_\V{equiv}(\V{expr}_\V{\$a},_\V{expr}_\V{\$b})_\{}}
\L{\LB{____\V{Add}(_\V{asub}_)_\&_\V{Add}(_\V{bsub}_),_\V{Subtract}(_\V{asub}_)_\&_\V{Subtract}(_\V{bsub}_),_\V{Const}(_\*_)_\&_\V{Const}(_\*_):}}
\L{\LB{_____________\{_\K{return}_\V{equiv}(_\V{asub},_\V{bsub}_);_\}}}
\L{\LB{____\V{Plus}(_\V{asub1},_\V{asub2}_)_\&_\V{Plus}(_\V{bsub1},_\V{bsub2}_),_\V{Minus}(_\V{asub1},_\V{asub2}_)_\&_\V{Minus}(_\V{bsub1},_\V{bsub2}_):}}
\L{\LB{_____________\{_\K{return}_\V{equiv}(_\V{asub1},_\V{bsub1}_)_\&\&_\V{equiv}(_\V{asub2},_\V{bsub2}_);_\}}}
\L{\LB{____\K{default}:_\{_\K{return}_\V{False};_\}}}
\L{\LB{\}}}