UnCoVer (Using Coverability for Verification)
|
An equality checker for pointers to IDPartitions. More...
#include <IDPartitionEnumerator.h>
Public Member Functions | |
bool | operator() (const IDPartition *x, const IDPartition *y) const |
Checks if the given IDPartitions pointed to are equal. More... | |
An equality checker for pointers to IDPartitions.
bool operator() | ( | const IDPartition * | x, |
const IDPartition * | y | ||
) | const |
Checks if the given IDPartitions pointed to are equal.
The check is based on the contents of the IDPartitions and not the pointers itself.
x | a pointer to the first IDPartition |
y | a pointer to the second IDPartition |