ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | List of all members
NodeFact Class Referenceabstract

#include <nodeState.h>

Inheritance diagram for NodeFact:
Inheritance graph
[legend]
Collaboration diagram for NodeFact:
Collaboration graph
[legend]

Public Member Functions

virtual NodeFact * copy () const =0
 
- Public Member Functions inherited from printable
virtual ~printable ()
 
virtual std::string str (std::string indent="")=0
 

Detailed Description

Definition at line 31 of file nodeState.h.

Member Function Documentation

virtual NodeFact* NodeFact::copy ( ) const
pure virtual

Implemented in IntArithLogicalFact, DFStateAtReturns, affineInequalityFact, and NodeID.

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