FLOPC++
|
Reference counted class for all "boolean" types of data.This contains counters to ConstantBase pointers. These pointers may be of any of the Boolean_base * type. This can be a constant valued boolean as well. explain SUBSETREF. More...
#include <MP_boolean.hpp>
Public Member Functions | |
MP_boolean () | |
MP_boolean (bool b) | |
MP_boolean (const Constant &c) | |
MP_boolean (SUBSETREF &c) | |
MP_boolean (Boolean_base *r) | |
![]() | |
const Boolean_base * & | operator-> () const |
Handle (const Boolean_base * &r) | |
Handle (const Handle &h) | |
const Handle & | operator= (const Handle &h) |
bool | isDefined () |
~Handle () | |
Additional Inherited Members | |
![]() | |
void | increment () |
void | decrement () |
Reference counted class for all "boolean" types of data.
This contains counters to ConstantBase pointers. These pointers may be of any of the Boolean_base * type. This can be a constant valued boolean as well. explain SUBSETREF.
Definition at line 40 of file MP_boolean.hpp.
|
inline |
Definition at line 42 of file MP_boolean.hpp.
References flopc::Boolean_base::MP_boolean.
MP_boolean::MP_boolean | ( | bool | b | ) |
Definition at line 216 of file MP_boolean.cpp.
MP_boolean::MP_boolean | ( | const Constant & | c | ) |
Definition at line 218 of file MP_boolean.cpp.
MP_boolean::MP_boolean | ( | SUBSETREF & | c | ) |
Definition at line 220 of file MP_boolean.cpp.
|
inline |
Definition at line 46 of file MP_boolean.hpp.
References flopc::operator &&(), flopc::operator!(), flopc::operator!=(), flopc::operator<(), flopc::operator<=(), flopc::operator==(), flopc::operator>(), flopc::operator>=(), and flopc::operator||().