CBMC
Public Member Functions | Public Attributes | List of all members
mini_bddt Class Reference

#include <miniBDD.h>

+ Inheritance diagram for mini_bddt:
+ Collaboration diagram for mini_bddt:

Public Member Functions

 mini_bddt ()
 
 mini_bddt (const mini_bddt &x)
 
 ~mini_bddt ()
 
mini_bddt operator! () const
 
mini_bddt operator^ (const mini_bddt &) const
 
mini_bddt operator== (const mini_bddt &) const
 
mini_bddt operator& (const mini_bddt &) const
 
mini_bddt operator| (const mini_bddt &) const
 
mini_bddt & operator= (const mini_bddt &)
 
bool is_constant () const
 
bool is_true () const
 
bool is_false () const
 
unsigned var () const
 
const mini_bddt & low () const
 
const mini_bddt & high () const
 
unsigned node_number () const
 
void clear ()
 
bool is_initialized () const
 
 mini_bddt (class mini_bdd_nodet *_node)
 

Public Attributes

class mini_bdd_nodet * node
 

Detailed Description

Definition at line 30 of file miniBDD.h.

Constructor & Destructor Documentation

◆ mini_bddt() [1/3]

mini_bddt::mini_bddt ( )

◆ mini_bddt() [2/3]

mini_bddt::mini_bddt ( const mini_bddt &  x)

◆ ~mini_bddt()

mini_bddt::~mini_bddt ( )

◆ mini_bddt() [3/3]

mini_bddt::mini_bddt ( class mini_bdd_nodet *  _node)
explicit

Member Function Documentation

◆ clear()

void mini_bddt::clear ( )

◆ high()

const mini_bddt& mini_bddt::high ( ) const

◆ is_constant()

bool mini_bddt::is_constant ( ) const

◆ is_false()

bool mini_bddt::is_false ( ) const

◆ is_initialized()

bool mini_bddt::is_initialized ( ) const
inline

Definition at line 57 of file miniBDD.h.

◆ is_true()

bool mini_bddt::is_true ( ) const

◆ low()

const mini_bddt& mini_bddt::low ( ) const

◆ node_number()

unsigned mini_bddt::node_number ( ) const

◆ operator!()

mini_bddt mini_bddt::operator! ( ) const

Definition at line 384 of file miniBDD.cpp.

◆ operator&()

mini_bddt mini_bddt::operator& ( const mini_bddt &  other) const

Definition at line 396 of file miniBDD.cpp.

◆ operator=()

mini_bddt& mini_bddt::operator= ( const mini_bddt &  )

◆ operator==()

mini_bddt mini_bddt::operator== ( const mini_bddt &  other) const

Definition at line 369 of file miniBDD.cpp.

◆ operator^()

mini_bddt mini_bddt::operator^ ( const mini_bddt &  other) const

Definition at line 379 of file miniBDD.cpp.

◆ operator|()

mini_bddt mini_bddt::operator| ( const mini_bddt &  other) const

Definition at line 406 of file miniBDD.cpp.

◆ var()

unsigned mini_bddt::var ( ) const

Member Data Documentation

◆ node

class mini_bdd_nodet* mini_bddt::node

Definition at line 64 of file miniBDD.h.

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