ATerm++

PrevUpHomeNext

Function operator==

genspect::operator== —

Synopsis

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

Description

Tests equality of aterms t1 and t2. As aterms are created using maximal sharing (see Section 2.1), testing equality is performed in constant time by comparing the addresses of t1 and t2. Note however that operator== only returns true when t1 and t2 are completely equal, inclusive any annotations they might have!

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext