ATerm++

PrevUpHomeNext

Function operator==

genspect::operator== —

Synopsis

bool operator==(const function_symbol & x, const function_symbol & y);

Description

Tests equality of function symbols f1 and f2. Function symbols f1 and f2 are considered equal if they have the same name, the same arity and the same value for the quoted attribute.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext