Package net.ssehub.easy.reasoning.core.reasoner

Enum GeneralReasonerCapabilities

java.lang.Object

java.lang.Enum<GeneralReasonerCapabilities>

net.ssehub.easy.reasoning.core.reasoner.GeneralReasonerCapabilities

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<GeneralReasonerCapabilities>, IReasonerCapability

public enum GeneralReasonerCapabilities
extends java.lang.Enum<GeneralReasonerCapabilities>
implements IReasonerCapability

Defines general reasoner capabilities.

Author:

Holger Eichelberger

Enum Constant Summary

Enum Constants

Enum Constant	Description
CONFIGURATION_INITIALIZATION	Is suitable to perform the initialization of an IVML configuration instance as it provides comprehensive IVML reasoning capabilities.
INCREMENTAL_REASONING	Support for incremental reasoning while configuring a product.
RUNTIME_REASONING	Support for runtime reasoning, i.e., can be applied for runtime reconfiguration, e.g., in combination with rt-VIL.
STANDALONE_REASONING	A reasoner declaring this capability can basically do standalone reasoning on a model although potentially not complete.
TIMEOUT	Reasoner considers the timeout given in ReasonerConfiguration.getTimeout() and stops close to a timeout overrun.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	GeneralReasonerCapabilities()

Method Summary

Modifier and Type	Method	Description
static GeneralReasonerCapabilities	valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static GeneralReasonerCapabilities[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

STANDALONE_REASONING

public static final GeneralReasonerCapabilities STANDALONE_REASONING

A reasoner declaring this capability can basically do standalone reasoning on a model although potentially not complete. Chains of reasoners shall declare this capability and (typically) start with a standalone reasoner, while reasoners later in a chain must not necessarily declare this capability.

INCREMENTAL_REASONING

public static final GeneralReasonerCapabilities INCREMENTAL_REASONING

Support for incremental reasoning while configuring a product. Declare only if IReasoner#initialize(net.ssehub.easy.varModel.model.Project, net.ssehub.easy.varModel.confModel.Configuration, ReasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver) is implemented properly.

RUNTIME_REASONING

public static final GeneralReasonerCapabilities RUNTIME_REASONING

Support for runtime reasoning, i.e., can be applied for runtime reconfiguration, e.g., in combination with rt-VIL.

CONFIGURATION_INITIALIZATION

public static final GeneralReasonerCapabilities CONFIGURATION_INITIALIZATION

Is suitable to perform the initialization of an IVML configuration instance as it provides comprehensive IVML reasoning capabilities. Currently, the reasoner developer declares this capability. However, it might also be derived from the presence of de.uni_hildesheim.sse.capabilities.IvmlReasonerCapabilities.

TIMEOUT

public static final GeneralReasonerCapabilities TIMEOUT

Reasoner considers the timeout given in ReasonerConfiguration.getTimeout() and stops close to a timeout overrun.

Constructor Detail

GeneralReasonerCapabilities

private GeneralReasonerCapabilities()

Method Detail

values

public static GeneralReasonerCapabilities[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (GeneralReasonerCapabilities c : GeneralReasonerCapabilities.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static GeneralReasonerCapabilities valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null