P4C
The P4 Compiler
Loading...
Searching...
No Matches
LiftEqual< T > Class Template Referenceabstract

#include <cmp.h>

Inheritance diagram for LiftEqual< T >:
[legend]

Public Member Functions

 OPERATOR (equal, Equal)
 
 OPERATOR (not_equal, NotEqual)
 
bool operator!= (const T &other) const
 
virtual bool operator== (const T &) const =0
 

Detailed Description

template<class T>
class LiftEqual< T >

Lifts == on objects to functions and functors for == and != on pointers, and also derives != on objects. The virtual operator== is assumed to implement an equivalence relation.

Member Function Documentation

◆ operator==()

template<class T >
virtual bool LiftEqual< T >::operator== ( const T & ) const
pure virtual

Implemented in Clot.