Class DelegatingInterleavingConfigurationProvider

    • Constructor Detail

      • DelegatingInterleavingConfigurationProvider

        public DelegatingInterleavingConfigurationProvider​(boolean isGeneratingConfigurationNeeded)
        Parameters:
        isGeneratingConfigurationNeeded - indicates whether a configuration for error-constraint generation is needed or not.