carl::Condition Class Reference

#include <Condition.h>

Inheritance diagram for carl::Condition:

Collaboration diagram for carl::Condition:

Public Member Functions
constexpr	Condition ()
constexpr	Condition (std::bitset< CONDITION_SIZE > _bitset)
constexpr	Condition (std::size_t i)

Detailed Description

Definition at line 19 of file Condition.h.

Constructor & Destructor Documentation

Condition() [1/3]

constexpr carl::Condition::Condition ( )

inlineconstexpr

Definition at line 22 of file Condition.h.

Condition() [2/3]

constexpr carl::Condition::Condition ( std::bitset< CONDITION_SIZE >  _bitset )

inlineconstexpr

Definition at line 26 of file Condition.h.

Condition() [3/3]

constexpr carl::Condition::Condition ( std::size_t  i )

inlineexplicitconstexpr

Definition at line 30 of file Condition.h.

---

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

• carl-formula/formula/Condition.h