Main Page   Modules   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages  

FlowVal Class Reference

#include <dataflow.h>

Inheritance diagram for FlowVal::

declSetFlowVal defFlowVal List of all members.

Public Methods

virtual FlowVal * clone () const=0
virtual bool diff (FlowVal *other) const=0
virtual void meet (const FlowVal *other)=0
virtual void to_top ()=0
void meet_and_diff (const FlowVal *other, FlowProblem &fp)

Member Function Documentation

virtual FlowVal* FlowVal::clone void    const [pure virtual]
 

Reimplemented in declSetFlowVal, and defFlowVal.

virtual bool FlowVal::diff FlowVal *    other const [pure virtual]
 

Reimplemented in declSetFlowVal, and defFlowVal.

virtual void FlowVal::meet const FlowVal *    v [pure virtual]
 

Reimplemented in declSetFlowVal, and defFlowVal.

void FlowVal::meet_and_diff const FlowVal *    other,
FlowProblem   fp
 

virtual void FlowVal::to_top void    [pure virtual]
 

Reimplemented in declSetFlowVal, and defFlowVal.


The documentation for this class was generated from the following files:
Generated on Thu Jan 10 12:06:28 2002 for C-Breeze by doxygen1.2.13.1 written by Dimitri van Heesch, © 1997-2001