apron::tbool Struct Reference

3-valued boolean (tbool_t wrapper). More...

#include <apxx_manager.hh>

Public Member Functions
	tbool (bool a)
	Converts true to tbool_true and false to tbool_false.
	tbool (tbool_t a)
	Conversion from tbool_t.
	operator tbool_t ()
	Conversion to tbool_t.
	operator bool ()
	Returns true if and only if the value is tbool_true.

Public Attributes
tbool_t	x
	Either tbool_false, tbool_true, or tbool_top.

Detailed Description

3-valued boolean (tbool_t wrapper).

A tbool_t holds a value in 3-valued logic: tbool_true, tbool_false, or tbool_top (don't know).

Constructor & Destructor Documentation

tbool() [1/2]

tbool::tbool ( bool a )

inline

Converts true to tbool_true and false to tbool_false.

tbool() [2/2]

tbool::tbool ( tbool_t a )

inline

Conversion from tbool_t.

Member Function Documentation

operator bool()

tbool::operator bool ( )

inline

Returns true if and only if the value is tbool_true.

operator tbool_t()

tbool::operator tbool_t ( )

inline

Conversion to tbool_t.

Member Data Documentation

x

tbool_t apron::tbool::x

Either tbool_false, tbool_true, or tbool_top.

---

The documentation for this struct was generated from the following files:

• /home/mine/apron/apronxx/apxx_manager.hh
• /home/mine/apron/apronxx/apxx_manager_inline.hh