![]() |
genspect::operator== —
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 |