carl::NoReasons Struct Reference

#include <ReasonsAdaptor.h>

Inheritance diagram for carl::NoReasons:

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

Static Public Attributes
static constexpr bool	has_reasons = false

Detailed Description

Definition at line 13 of file ReasonsAdaptor.h.

Member Function Documentation

getReasons()

BitVector carl::NoReasons::getReasons ( ) const

inline

Definition at line 17 of file ReasonsAdaptor.h.

setReason()

void carl::NoReasons::setReason

(

unsigned

index

)

setReasons()

void carl::NoReasons::setReasons ( const BitVector &  ) const

inline

Definition at line 18 of file ReasonsAdaptor.h.

Field Documentation

has_reasons

constexpr bool carl::NoReasons::has_reasons = false

staticconstexpr

Definition at line 15 of file ReasonsAdaptor.h.

---

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

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