DefaultReasonerAccess (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess

```
public class DefaultReasonerAccess
extends java.lang.Object
```
Provides descriptive access to the default reasoner.

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes
Modifier and Type Class Description

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

Field Summary

Fields
Modifier and Type Field Description

private static DefaultReasonerAccess.IDefaultReasonerProvider provider

Constructor Summary

Constructors
Constructor Description

DefaultReasonerAccess()

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static boolean`	`hasCapability(IReasonerCapability capability)`	Returns whether the default reasoner (if known) has a certain capability.
`static void`	`setProvider(DefaultReasonerAccess.IDefaultReasonerProvider defaultProvider)`	Sets the reasoner provider.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - provider
```
private static DefaultReasonerAccess.IDefaultReasonerProvider provider
```
- Constructor Detail
  - DefaultReasonerAccess
```
public DefaultReasonerAccess()
```
- Method Detail
  - setProvider
```
public static void setProvider(DefaultReasonerAccess.IDefaultReasonerProvider defaultProvider)
```
    Sets the reasoner provider.
    
    Parameters:
    
    defaultProvider - the provider
  - hasCapability
```
public static 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