ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
CaDiCaL::analyze_bumped_rank Struct Reference
Collaboration diagram for CaDiCaL::analyze_bumped_rank:
Collaboration graph
[legend]

Public Types

typedef uint64_t Type
 

Public Member Functions

 analyze_bumped_rank (Internal *i)
 
Type operator() (const int &a) const
 

Public Attributes

Internal * internal
 

Detailed Description

Definition at line 160 of file cadical_analyze.cpp.

Member Typedef Documentation

◆ Type

typedef uint64_t CaDiCaL::analyze_bumped_rank::Type

Definition at line 163 of file cadical_analyze.cpp.

Constructor & Destructor Documentation

◆ analyze_bumped_rank()

CaDiCaL::analyze_bumped_rank::analyze_bumped_rank ( Internal * i)
inline

Definition at line 162 of file cadical_analyze.cpp.

162: internal (i) {}
CaDiCaL::analyze_bumped_rank::internal
Internal * internal
Definition cadical_analyze.cpp:161

Member Function Documentation

◆ operator()()

Type CaDiCaL::analyze_bumped_rank::operator() ( const int & a) const
inline

Definition at line 164 of file cadical_analyze.cpp.

164{ return internal->bumped (a); }

Member Data Documentation

◆ internal

Internal* CaDiCaL::analyze_bumped_rank::internal

Definition at line 161 of file cadical_analyze.cpp.

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