Package net.ssehub.easy.reasoning.core.frontend

Class ReasonerFrontend.DefaultReasonerProvider

java.lang.Object

net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend.DefaultReasonerProvider

All Implemented Interfaces:

DefaultReasonerAccess.IDefaultReasonerProvider

Enclosing class:

ReasonerFrontend

private class ReasonerFrontend.DefaultReasonerProvider
extends java.lang.Object
implements DefaultReasonerAccess.IDefaultReasonerProvider

Implements the default reasoner provider.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Modifier	Constructor	Description
private	DefaultReasonerProvider()

Method Summary

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 observer)	Initializes the derived values in the given configuration and freezes.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultReasonerProvider

private DefaultReasonerProvider()

Method Detail

hasCapability

public boolean hasCapability(IReasonerCapability capability)

Description copied from interface: DefaultReasonerAccess.IDefaultReasonerProvider

Returns whether the default reasoner (if known) has a certain capability.

Specified by:

hasCapability in interface DefaultReasonerAccess.IDefaultReasonerProvider

Parameters:

capability - the capability

Returns:

true if the capability is provided, false else

initialize

public void initialize(Configuration config,
                       ProgressObserver observer)

Description copied from interface: DefaultReasonerAccess.IDefaultReasonerProvider

Initializes the derived values in the given configuration and freezes.

Specified by:

initialize in interface DefaultReasonerAccess.IDefaultReasonerProvider

Parameters:

config - the configuration to reason on

observer - the progress observer