Public Member Functions | |
LocationPointerType (EquivalenceClass< LocationPointerType > tau, EquivalenceClass< FunctionPointerType > lambda) | |
EquivalenceClass < LocationPointerType > | getTau () |
EquivalenceClass < FunctionPointerType > | getLambda () |
void | notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass) |
void | unifyWith (PointerType that) |
cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType::LocationPointerType | ( | EquivalenceClass< LocationPointerType > | tau, | |
EquivalenceClass< FunctionPointerType > | lambda | |||
) | [inline] |
EquivalenceClass<LocationPointerType> cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType::getTau | ( | ) | [inline] |
EquivalenceClass<FunctionPointerType> cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType::getLambda | ( | ) | [inline] |
void cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType::notifyEquivalenceClassJoined | ( | EquivalenceClass | oldClass, | |
EquivalenceClass | newClass | |||
) | [inline] |
void cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType::unifyWith | ( | PointerType | that | ) | [inline] |