Public Member Functions | |
LazyInternalStructuresInter (final Collection< Unit > units, final Collection< CFGHandle > cfgs) | |
Package Functions | |
synchronized void | setNavigator () |
cz::muni::stanse::codestructures::LazyInternalStructuresInter::LazyInternalStructuresInter | ( | final Collection< Unit > | units, | |
final Collection< CFGHandle > | cfgs | |||
) | [inline] |
synchronized void cz::muni::stanse::codestructures::LazyInternalStructuresInter::setNavigator | ( | ) | [inline, package, virtual] |