carl::BVVariable Class Reference

Represent a BitVector-Variable. More...

#include <BVVariable.h>

Collaboration diagram for carl::BVVariable:

Public Member Functions
	BVVariable ()=default
	BVVariable (Variable _variable, const Sort &_sort)
Variable	variable () const
	operator Variable () const
const Sort &	sort () const
std::size_t	width () const
std::string	toString (bool _friendlyNames) const

Private Attributes
Variable	mVar = Variable::NO_VARIABLE
Sort	mSort
std::size_t	mWidth = 0

Friends
std::ostream &	operator<< (std::ostream &os, const BVVariable &v)
	Print the given bit vector variable on the given output stream. More...

Detailed Description

Represent a BitVector-Variable.

Definition at line 13 of file BVVariable.h.

Constructor & Destructor Documentation

BVVariable() [1/2]

carl::BVVariable::BVVariable ( )

default

BVVariable() [2/2]

carl::BVVariable::BVVariable ( Variable  _variable, const Sort &  _sort  )

inline

Definition at line 23 of file BVVariable.h.

Here is the call graph for this function:

Member Function Documentation

operator Variable()

carl::BVVariable::operator Variable ( ) const

inlineexplicit

Definition at line 37 of file BVVariable.h.

sort()

const Sort& carl::BVVariable::sort ( ) const

inline

Returns

The sort (domain) of this uninterpreted variable.

Definition at line 44 of file BVVariable.h.

toString()

std::string carl::BVVariable::toString ( bool  _friendlyNames ) const

inline

Returns

The string representation of this bit vector variable.

Definition at line 55 of file BVVariable.h.

Here is the call graph for this function:

variable()

Variable carl::BVVariable::variable ( ) const

inline

Definition at line 34 of file BVVariable.h.

Here is the caller graph for this function:

width()

std::size_t carl::BVVariable::width ( ) const

inline

Definition at line 48 of file BVVariable.h.

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  os, const BVVariable &  v  )

friend

Print the given bit vector variable on the given output stream.

Parameters

os	The output stream to print on.
v	The bit vector variable to print.

Returns

The output stream after printing the given bit vector variable on it.

Definition at line 65 of file BVVariable.h.

Field Documentation

mSort

Sort carl::BVVariable::mSort

private

Definition at line 16 of file BVVariable.h.

mVar

Variable carl::BVVariable::mVar = Variable::NO_VARIABLE

private

Definition at line 15 of file BVVariable.h.

mWidth

std::size_t carl::BVVariable::mWidth = 0

private

Definition at line 17 of file BVVariable.h.

---

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

• carl-formula/bitvector/BVVariable.h