ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::analyze_bumped_rank Struct Reference
Collaboration diagram for CaDiCaL::analyze_bumped_rank:

Public Types

typedef uint64_t Type
 

Public Member Functions

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

Public Attributes

Internalinternal
 

Detailed Description

Definition at line 160 of file cadical_analyze.cpp.

Member Typedef Documentation

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

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: