carl::BVReasons Struct Reference

#include <ReasonsAdaptor.h>

Collaboration diagram for carl::BVReasons:

Public Member Functions
void	setReason (unsigned index)
void	extendReasons (const BitVector &extendWith)
BitVector	getReasons () const
void	setReasons (const BitVector &reasons)

Static Public Attributes
static constexpr bool	has_reasons = true

Private Attributes
BitVector	mReasonset

Detailed Description

Definition at line 21 of file ReasonsAdaptor.h.

Member Function Documentation

extendReasons()

void carl::BVReasons::extendReasons ( const BitVector &  extendWith )

inline

Definition at line 26 of file ReasonsAdaptor.h.

getReasons()

BitVector carl::BVReasons::getReasons ( ) const

inline

Definition at line 30 of file ReasonsAdaptor.h.

setReason()

void carl::BVReasons::setReason

(

unsigned

index

)

setReasons()

void carl::BVReasons::setReasons ( const BitVector &  reasons )

inline

Definition at line 35 of file ReasonsAdaptor.h.

Field Documentation

has_reasons

constexpr bool carl::BVReasons::has_reasons = true

staticconstexpr

Definition at line 23 of file ReasonsAdaptor.h.

mReasonset

BitVector carl::BVReasons::mReasonset

private

Definition at line 40 of file ReasonsAdaptor.h.

---

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

• carl-arith/poly/umvpoly/MultivariatePolynomialAdaptors/ReasonsAdaptor.h