CaDiCaL::pointer_rank Struct Reference

#include <radix.hpp>

Public Types
typedef size_t	Type

Public Member Functions
Type	operator() (void *ptr)

Detailed Description

Definition at line 40 of file radix.hpp.

Member Typedef Documentation

Type

typedef size_t CaDiCaL::pointer_rank::Type

Definition at line 41 of file radix.hpp.

Member Function Documentation

operator()()

Type CaDiCaL::pointer_rank::operator() ( void * ptr )

inline

Definition at line 42 of file radix.hpp.

{ return (size_t) ptr; }

---

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

• src/sat/cadical/radix.hpp