Reference counted class for all "boolean" types of data. 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) | |
Public Member Functions inherited from flopc::Handle< Boolean_base * > | |
| 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 | |
Protected Member Functions inherited from flopc::Handle< Boolean_base * > | |
| 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.
| flopc::MP_boolean::MP_boolean | ( | bool | b | ) |
| flopc::MP_boolean::MP_boolean | ( | const Constant & | c | ) |
| flopc::MP_boolean::MP_boolean | ( | SUBSETREF & | c | ) |
|
inline |
Definition at line 52 of file MP_boolean.hpp.
|
friend |
Definition at line 46 of file MP_boolean.hpp.
1.8.5