#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:

/home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.h
/home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.cpp

Public Member Functions

Public Attributes