Reach Class Reference

List of all members.

Public Member Functions
	Reach (bool b)
virtual	~Reach ()
sem_elem_t	one () const
sem_elem_t	zero () const
sem_elem_t	extend (SemElem *rhs)
sem_elem_t	combine (SemElem *rhs)
bool	equal (SemElem *rhs) const
std::ostream &	print (std::ostream &o) const
sem_elem_t	from_string (const std::string &s) const
Static Public Attributes
static int	numReaches = 0
Protected Attributes
bool	isreached

---

Constructor & Destructor Documentation

Reach::Reach

(

bool

b

)

References numReaches.

Referenced by one(), and zero().

Reach::~Reach

(

)

[virtual]

References numReaches.

---

Member Function Documentation

sem_elem_t Reach::one

(

)

const [virtual]

Implements wali::SemElem.

References Reach().

Referenced by opennwa::Nwa::_private_isEmpty_(), combine(), extend(), from_string(), and opennwa::ReachGen::getOne().

sem_elem_t Reach::zero

(

)

const [virtual]

Implements wali::SemElem.

References Reach().

Referenced by opennwa::Nwa::_private_isEmpty_(), combine(), extend(), and from_string().

sem_elem_t Reach::extend

(

SemElem *

rhs

)

[virtual]

Implements wali::SemElem.

References isreached, one(), and zero().

sem_elem_t Reach::combine

(

SemElem *

rhs

)

[virtual]

Implements wali::SemElem.

References isreached, one(), and zero().

bool Reach::equal

(

SemElem *

rhs

)

const [virtual]

Implements wali::SemElem.

References isreached.

std::ostream & Reach::print

(

std::ostream &

o

)

const [virtual]

Implements wali::SemElem.

References isreached.

sem_elem_t Reach::from_string

(

const std::string &

s

)

const

References one(), and zero().

---

Member Data Documentation

int Reach::numReaches = 0 [static]

Author:

Nicholas Kidd

Referenced by Reach(), and ~Reach().

bool Reach::isreached [protected]

Referenced by combine(), equal(), extend(), and print().

---

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

• Source/wali/Reach.hpp
• Source/wali/Reach.cpp