PolyBoRi
Public Member Functions | Protected Attributes | List of all members
polybori::BooleConstant Class Reference

This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet. More...

#include <BooleConstant.h>

Public Member Functions

 BooleConstant ()
 Default constructor.
 BooleConstant (bool value)
 constructor for bool values
 BooleConstant (int value)
 Cosntructor for integer values (nontrivial conversion)
 operator bool () const
 Convert to bool value.
BooleConstant operator! () const
 Negation operation.

Protected Attributes

const bool m_value
 Boolean value is stored as simple bool.

Detailed Description

This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet.

Note
This is mostly equivalent to the built-in type bool. Only conversion from ineger values to BooleConstant is nontrivial, as it involves the modulo 2 operation.

Constructor & Destructor Documentation

polybori::BooleConstant::BooleConstant ( )
inline

Default constructor.

polybori::BooleConstant::BooleConstant ( bool  value)
inline

constructor for bool values

polybori::BooleConstant::BooleConstant ( int  value)
inline

Cosntructor for integer values (nontrivial conversion)

Member Function Documentation

polybori::BooleConstant::operator bool ( ) const
inline

Convert to bool value.

BooleConstant polybori::BooleConstant::operator! ( ) const
inline

Negation operation.

Member Data Documentation

const bool polybori::BooleConstant::m_value
protected

Boolean value is stored as simple bool.


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