cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider Class Reference

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

[legend]

Collaboration diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider:

[legend]

List of all members.

Public Member Functions
	AndersenCategorizationProvider (int numberOfProgramVariables)
int	assignNextCategory ()
int	getNumberOfCategories ()

---

Detailed Description

Represents the categorization provider for Andersen's analysis.

Author:

Michal Strehovsky

---

Constructor & Destructor Documentation

cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider::AndersenCategorizationProvider

(

int

numberOfProgramVariables

)

[inline]

---

Member Function Documentation

int cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider::assignNextCategory

(

)

[inline]

Implements cz::muni::stanse::pointeranalyzer::shapirohorwitz::CategorizationProvider.

int cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider::getNumberOfCategories

(

)

[inline]

Implements cz::muni::stanse::pointeranalyzer::shapirohorwitz::CategorizationProvider.

---

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

• src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AndersenCategorizationProvider.java