addFunction(CFGHandle handle, EquivalenceClass< LocationPointerType > functionClass) | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |
getPointsToSetOf(CFGHandle cfg, String id) | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |
getTypeOf(CFGHandle cfg, String name) | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |
getTypeOf(String name) | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |
getTypeOf(CFGHandle cfg) | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |
notifyEquivalenceClassJoined(EquivalenceClass oldClass, EquivalenceClass newClass) | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |
toDotFile() | cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable | [inline] |