DefaultReasonerAccess.IDefaultReasonerProvider (EASy-Producer Documentation API)

All Known Implementing Classes:

ReasonerFrontend.DefaultReasonerProvider

Enclosing class:

DefaultReasonerAccess
```
public static interface DefaultReasonerAccess.IDefaultReasonerProvider
```
Defines the interface for a reasoner provider.

Author:

Holger Eichelberger

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`hasCapability(IReasonerCapability capability)`	Returns whether the default reasoner (if known) has a certain capability.
`void`	`initialize(Configuration config, ProgressObserver progress)`	Initializes the derived values in the given `configuration` and freezes.

- Method Detail
  - hasCapability
```
boolean hasCapability(IReasonerCapability capability)
```
    Returns whether the default reasoner (if known) has a certain capability.
    
    Parameters:
    
    capability - the capability
    
    Returns:
    
    true if the capability is provided, false else
  - initialize
```
void initialize(Configuration config,
                ProgressObserver progress)
```
    Initializes the derived values in the given configuration and freezes.
    
    Parameters:
    
    config - the configuration to reason on
    
    progress - the progress observer