net.ssehub.easy.reasoning.core.frontend

Class ReasonerFrontend.DefaultReasonerProvider

java.lang.Object

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

All Implemented Interfaces:

net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess.IDefaultReasonerProvider

Enclosing class:

ReasonerFrontend

private class ReasonerFrontend.DefaultReasonerProvider
extends java.lang.Object
implements net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess.IDefaultReasonerProvider

Implements the default reasoner provider.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DefaultReasonerProvider()

Method Summary

Modifier and Type	Method and Description
boolean	hasCapability(net.ssehub.easy.varModel.capabilities.IReasonerCapability capability)
void	initialize(net.ssehub.easy.varModel.confModel.Configuration config, net.ssehub.easy.basics.progress.ProgressObserver observer)

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(net.ssehub.easy.varModel.capabilities.IReasonerCapability capability)

Specified by:

hasCapability in interface net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess.IDefaultReasonerProvider

initialize

public void initialize(net.ssehub.easy.varModel.confModel.Configuration config,
                       net.ssehub.easy.basics.progress.ProgressObserver observer)

Specified by:

initialize in interface net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess.IDefaultReasonerProvider