Loading...

Searching...

No Matches

Public Member Functions | Public Attributes | List of all members

mini_bddt Class Reference

#include <miniBDD.h>

+ Inheritance diagram for mini_bddt:

[フレーム]

[legend]

+ Collaboration diagram for mini_bddt:

[フレーム]

[legend]

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