carl  24.04
Computer ARithmetic Library
Public Member Functions | Data Fields
carl::BVExtractContent Struct Reference

#include <BVTermContent.h>

Collaboration diagram for carl::BVExtractContent:
Collaboration graph
[legend]

Public Member Functions

 BVExtractContent (BVTerm _operand, std::size_t _highest, std::size_t _lowest)
 
bool operator== (const BVExtractContent &rhs) const
 
bool operator< (const BVExtractContent &rhs) const
 

Data Fields

BVTerm mOperand
 
std::size_t mHighest
 
std::size_t mLowest
 

Detailed Description

Definition at line 42 of file BVTermContent.h.

Constructor & Destructor Documentation

◆ BVExtractContent()

carl::BVExtractContent::BVExtractContent ( BVTerm  _operand,
std::size_t  _highest,
std::size_t  _lowest 
)
inline

Definition at line 47 of file BVTermContent.h.

Member Function Documentation

◆ operator<()

bool carl::BVExtractContent::operator< ( const BVExtractContent &  rhs) const
inline

Definition at line 52 of file BVTermContent.h.

◆ operator==()

bool carl::BVExtractContent::operator== ( const BVExtractContent &  rhs) const
inline

Definition at line 49 of file BVTermContent.h.

Field Documentation

◆ mHighest

std::size_t carl::BVExtractContent::mHighest

Definition at line 44 of file BVTermContent.h.

◆ mLowest

std::size_t carl::BVExtractContent::mLowest

Definition at line 45 of file BVTermContent.h.

◆ mOperand

BVTerm carl::BVExtractContent::mOperand

Definition at line 43 of file BVTermContent.h.

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