UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | List of all members
IDPartitionPointerEquality Struct Reference

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...
 

Detailed Description

An equality checker for pointers to IDPartitions.

Member Function Documentation

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.

Parameters
xa pointer to the first IDPartition
ya pointer to the second IDPartition
Returns
true, iff the IDPartitions pointed to are equal

The documentation for this struct was generated from the following files: