cz::muni::stanse::pointeranalyzer::shapirohorwitz::PointerType Interface Reference

Inheritance diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::PointerType:

List of all members.

Public Member Functions

void unifyWith (PointerType that)

Detailed Description

Represents a general pointer type.

Michal Strehovsky

Member Function Documentation

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::PointerType::unifyWith ( PointerType  that  ) 

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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6