Package net.ssehub.easy.varModel.capabilities

Interface DefaultReasonerAccess.IDefaultReasonerProvider

Enclosing class:
DefaultReasonerAccess
public static interface DefaultReasonerAccess.IDefaultReasonerProvider
Defines the interface for a reasoner provider.
Author:
Holger Eichelberger

  • 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, net.ssehub.easy.basics.progress.ProgressObserver progress)
    Initializes the derived values in the given configuration and freezes.

  • Method Details

    • 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, net.ssehub.easy.basics.progress.ProgressObserver progress)
      Initializes the derived values in the given configuration and freezes.
      Parameters:
      config - the configuration to reason on
      progress - the progress observer