Specialise hash for AbsCxtDPItem. More...

#include <Z3Expr.h>

Public Member Functions
size_t	operator() (const SVF::Z3Expr &z3Expr) const

Detailed Description

Specialise hash for AbsCxtDPItem.

Definition at line 316 of file Z3Expr.h.

Member Function Documentation

size_t std::hash< SVF::Z3Expr >::operator() ( const SVF::Z3Expr & z3Expr ) const

inline

Definition at line 318 of file Z3Expr.h.

    {
        return z3Expr.id();
    }

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