Package net.ssehub.easy.varModel.capabilities

Class DefaultReasonerAccess

java.lang.Object

net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess

public class DefaultReasonerAccess
extends 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

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 Details

provider

private static DefaultReasonerAccess.IDefaultReasonerProvider provider

Constructor Details

DefaultReasonerAccess

public DefaultReasonerAccess()

Method Details

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