de.cau.cs.kieler.kies.scoping
Classes
EsterelScopeProvider
EsterelScopeProviderUtil
ScopeFunction