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

#include <BVTermContent.h>

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

Public Member Functions

 BVUnaryContent (BVTerm operand, std::size_t index=0)
 
bool operator== (const BVUnaryContent &rhs) const
 
bool operator< (const BVUnaryContent &rhs) const
 

Data Fields

BVTerm mOperand
 
std::size_t mIndex
 

Detailed Description

Definition at line 13 of file BVTermContent.h.

Constructor & Destructor Documentation

◆ BVUnaryContent()

carl::BVUnaryContent::BVUnaryContent ( BVTerm  operand,
std::size_t  index = 0 
)
inlineexplicit

Definition at line 17 of file BVTermContent.h.

Member Function Documentation

◆ operator<()

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

Definition at line 23 of file BVTermContent.h.

◆ operator==()

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

Definition at line 20 of file BVTermContent.h.

Field Documentation

◆ mIndex

std::size_t carl::BVUnaryContent::mIndex

Definition at line 15 of file BVTermContent.h.

◆ mOperand

BVTerm carl::BVUnaryContent::mOperand

Definition at line 14 of file BVTermContent.h.

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