@Override public ContextInitialization getContextInitialization( IndexedContextRoot root) { return saturationConclusionFactory_.getContextInitialization(root); }
@Override public ContextInitialization getContextInitialization( IndexedContextRoot root) { return saturationConclusionFactory_.getContextInitialization(root); }
@Override public ContextInitialization getContextInitialization( IndexedContextRoot root) { return saturationConclusionFactory_.getContextInitialization(root); }