Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

BitLattice Class Reference

#include <bit_lattice.h>

List of all members.

Public Types

typedef enum bval BVal
enum  bval {
  B_TOP,
  B_TRUE,
  B_FALSE,
  B_BOTTOM
}

Public Methods

 BitLattice ()
 BitLattice (BVal)
 BitLattice (const BitLattice &)
BitLattice& operator= (const BitLattice &)
 BitLattice (bool value)
 BitLattice (bool is_bottom, bool value)
 ~BitLattice ()
String toString () const
bool is_top () const
bool is_true () const
bool is_false () const
bool is_bottom () const
bool is_definite () const
bool get_bottom_bit () const
bool get_value_bit () const
BVal get_value () const
bool operator== (const BitLattice &) const
bool operator!= (const BitLattice &) const
bool do_and_with_test (const BitLattice &other)
bool do_or_with_test (const BitLattice &other)
bool do_not_with_test ()
bool do_meet_with_test (const BitLattice &other)

Static Public Methods

BitLattice do_meet (const BitLattice &, const BitLattice &)
BitLattice do_and (const BitLattice &, const BitLattice &)
BitLattice do_or (const BitLattice &, const BitLattice &)
BitLattice do_not (const BitLattice &)

Detailed Description

Member Typedef Documentation

typedef enum bval BitLattice::BVal

Member Enumeration Documentation

enum BitLattice::bval

Enumeration values:
B_TOP  
B_TRUE  
B_FALSE  
B_BOTTOM  

Constructor & Destructor Documentation

BitLattice::BitLattice ()

BitLattice::BitLattice ( BVal val)

BitLattice::BitLattice ( const BitLattice & val)

BitLattice::BitLattice ( bool value)

BitLattice::BitLattice ( bool is_bottom,
bool value)

BitLattice::~BitLattice ()

Member Function Documentation

BitLattice BitLattice::do_and ( const BitLattice & val1,
const BitLattice & val2) [static]

bool BitLattice::do_and_with_test ( const BitLattice & other)

BitLattice BitLattice::do_meet ( const BitLattice & val1,
const BitLattice & val2) [static]

bool BitLattice::do_meet_with_test ( const BitLattice & other)

BitLattice BitLattice::do_not ( const BitLattice & val) [static]

bool BitLattice::do_not_with_test ()

BitLattice BitLattice::do_or ( const BitLattice & val1,
const BitLattice & val2) [static]

bool BitLattice::do_or_with_test ( const BitLattice & other)

bool BitLattice::get_bottom_bit () const

BitLattice::BVal BitLattice::get_value () const

bool BitLattice::get_value_bit () const

bool BitLattice::is_bottom () const

bool BitLattice::is_definite () const

bool BitLattice::is_false () const

bool BitLattice::is_top () const

bool BitLattice::is_true () const

bool BitLattice::operator!= ( const BitLattice & other) const

BitLattice & BitLattice::operator= ( const BitLattice & val)

bool BitLattice::operator== ( const BitLattice & other) const

String BitLattice::toString () const

The documentation for this class was generated from the following files:
Generated at Mon Jul 31 13:42:50 2000 for NCI SUIF by doxygen 1.1.2 written by Dimitri van Heesch, © 1997-2000