carl::BVBinaryContent Struct Reference

#include <BVTermContent.h>

Collaboration diagram for carl::BVBinaryContent:

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:

• carl-formula/bitvector/BVTermContent.h