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

Inheritance diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::PointerType:
[legend]

List of all members.

Public Member Functions

void unifyWith (PointerType that)


Detailed Description

Represents a general pointer type.

Author:
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