File: function_definition_equiv.k

package info (click to toggle)
kimwitu-doc 10a-3
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k, sarge
  • size: 1,192 kB
  • ctags: 341
  • sloc: makefile: 166; yacc: 125; ansic: 40; lex: 18; sh: 2
file content (7 lines) | stat: -rw-r--r-- 373 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
 
boolean equiv(expr $a, expr $b) {
    Add( asub ) & Add( bsub ), Subtract( asub ) & Subtract( bsub ), Const( * ) & Const( * ):
             { return equiv( asub, bsub ); }
    Plus( asub1, asub2 ) & Plus( bsub1, bsub2 ), Minus( asub1, asub2 ) & Minus( bsub1, bsub2 ):
             { return equiv( asub1, bsub1 ) && equiv( asub2, bsub2 ); }
    default: { return False; }
}