org.eclipse.viatra.dse.base

Class GlobalContext