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 explain using pointer in – should be private? 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) |
~Handle () | |
Friends | |
class | MP_domain_base_ |
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 explain using pointer in – should be private?
Definition at line 45 of file MP_boolean.hpp.
|
inline |
Definition at line 48 of file MP_boolean.hpp.
MP_boolean::MP_boolean | ( | bool | b | ) |
Definition at line 206 of file MP_boolean.cpp.
MP_boolean::MP_boolean | ( | const Constant & | c | ) |
Definition at line 208 of file MP_boolean.cpp.
MP_boolean::MP_boolean | ( | SUBSETREF & | c | ) |
Definition at line 211 of file MP_boolean.cpp.
|
inline |
Definition at line 52 of file MP_boolean.hpp.
|
friend |
Definition at line 46 of file MP_boolean.hpp.