carl  25.04
Computer ARithmetic Library
Public Member Functions | Data Fields
carl::BVBinaryContent Struct Reference

#include <BVTermContent.h>

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

Public Member Functions

 BVBinaryContent (BVTerm first, BVTerm second)
 
bool operator== (const BVBinaryContent &rhs) const
 
bool operator< (const BVBinaryContent &rhs) const
 

Data Fields

BVTerm mFirst
 
BVTerm mSecond
 

Detailed Description

Definition at line 28 of file BVTermContent.h.

Constructor & Destructor Documentation

◆ BVBinaryContent()

carl::BVBinaryContent::BVBinaryContent ( BVTerm  first,
BVTerm  second 
)
inline

Definition at line 32 of file BVTermContent.h.

Member Function Documentation

◆ operator<()

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

Definition at line 37 of file BVTermContent.h.

◆ operator==()

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

Definition at line 34 of file BVTermContent.h.

Field Documentation

◆ mFirst

BVTerm carl::BVBinaryContent::mFirst

Definition at line 29 of file BVTermContent.h.

◆ mSecond

BVTerm carl::BVBinaryContent::mSecond

Definition at line 30 of file BVTermContent.h.

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