Index (net.ssehub.easy.reasoning.core API)

A B C D E F G H I L M N O P R S T U V W Z

A

AbstractChainedReasoner - Class in net.ssehub.easy.reasoning.core.frontend: Implements an abstract chained reasoner.
AbstractChainedReasoner(String, String, ReasonerDescriptor...) - Constructor for class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner: Creates an reasoner chain with given name and version.
AbstractChainedReasoner(ReasonerDescriptor, ReasonerDescriptor...) - Constructor for class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner: Creates an reasoner chain with given descriptor.
AbstractChainedReasoner.DerivedReasonerDescriptor - Class in net.ssehub.easy.reasoning.core.frontend: Implements a derived reasoner descriptor taking over capabilities.
add(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends the specified constraint to the end of this constraint base.
addAffected(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Adds a variable affected by reasoning.
addAll(Collection<? extends Constraint>) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends all of the constraints in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
addAll(int, Collection<? extends Constraint>) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Inserts all of the constraints in the specified collection into this list, starting at the specified position.
addAll(int, Constraint[]) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Adds all constraints from cArray to this collection at position index.
addAll(ConstraintList) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends all of the elements in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
addAll(ConstraintList, boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends all of the elements in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
addAll(int, ConstraintList) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends all of the elements in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
addAll(int, ConstraintList, boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends all of the elements in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
addCapabilities(ReasonerDescriptor) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner.DerivedReasonerDescriptor: Adds the capabilities of desc to the capabilities of this reasoner descriptor.
addCapabilities(Collection<IReasonerCapability>) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Adds a collection of capabilities.
addCapability(IReasonerCapability) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Adds a capability.
addConflictingElementProjects(List<Project>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding conflicting element Projects.
addConflictingElementSuggestions(List<Message.SuggestionType>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding conflicting element Suggestions.
addConstraintVariables(List<Set<AbstractVariable>>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding a list of AbstractVariables that are involved in each failed constraint.
addErrorClassification(List<Integer>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding a list of reasoning error classifiers Null if non.
addEvaluationPair(EvaluationResult.EvaluationPair) - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult: Adds an evaluation pair.
addFirst(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Inserts the specified constraint at the beginning of this constraint base.
ADDITIONAL_INFO_LOG_NONE - Static variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
ADDITIONAL_INFO_LOG_SYSOUT - Static variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
addLast(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Appends the specified constraint to the end of this constraint base.
addMessage(Message) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Adds a new Message to the current result, e.
addNamedConstraintVariables(List<IDecisionVariable>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding a list of ConstraintVariables of a failed constraint.
addProblemConstraintParts(List<ConstraintSyntaxTree>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding a list of partial ConstraintSyntaxTrees that are involved in each failed constraint.
addProblemConstraints(List<Constraint>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding a list of Constraints that are involved in each failed constraint.
addProblemVariables(List<Set<IDecisionVariable>>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for adding a list of IDecisionVariables that are involved in each failed constraint.
addTimestamp(String) - Static method in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics: Method to add a timestamp to the measurements.
addUnresolved(String, List<String>) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Adds unresolved attributes and values.
addValue(Attribute, Value) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Adds a value for a given attribute.
affected - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
allFileMappings() - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Returns an iterator over all known file mappings.
AnnotationAssignmentConstraint - Class in net.ssehub.easy.reasoning.core.reasoner: Reasoner specific constraint type indicating a Constraint.Type.ANNOTATION_ASSIGNMENT constraint.
AnnotationAssignmentConstraint(ConstraintSyntaxTree, IModelElement) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.AnnotationAssignmentConstraint: Creates a new constraint from an already parsed syntax tree.
append(String, String) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Appends text and a line end to res.
appendComment(String, String[]) - Method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor: Appends a comment taken from the comments resource.
appendError(StringBuilder, String) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Appends text to builder.
appendMessage(List<String>, Throwable) - Static method in class net.ssehub.easy.reasoning.core.impl.ReasonerHelper: Appends the message of th to the list of messages.
appendMessage(List<String>, String) - Static method in class net.ssehub.easy.reasoning.core.impl.ReasonerHelper: Appends a message text to the list of messages.
appendOCLFeatureCall(OCLFeatureCall, Operation.FormattingHint) - Method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor
assignments - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
AttachedConstraint - Class in net.ssehub.easy.reasoning.core.reasoner: Implements a constraint with attached object (fixed and Constraint.Type#USUAL type).
AttachedConstraint(ConstraintSyntaxTree, IDatatype, IModelElement) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.AttachedConstraint: Creates a new constraint from an already parsed syntax tree.
AttributeException - Exception in net.ssehub.easy.reasoning.core.reasoner: A specific exception which may occur when assigning values to attributes.
AttributeException(String) - Constructor for exception net.ssehub.easy.reasoning.core.reasoner.AttributeException: Creates a new attribute exception.
AttributesCheckVisitor - Class in net.ssehub.easy.reasoning.core.reasoner: A visitor for checking frozen values for all variables which correspond to a given (temporary) assignment of attribute values.
AttributesCheckVisitor(ReasoningResult, AttributeValues) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Creates a new visitor storing the given instances for processing.
AttributeValues - Class in net.ssehub.easy.reasoning.core.reasoner: Stores attributes and their assigned values as an additional information to be considered while reasoning.
AttributeValues() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Creates a new set of attribute values.
attributeValues - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
AttributeValues.ResolutionVisitor - Class in net.ssehub.easy.reasoning.core.reasoner: A visitor for resolving attribute values.

B

Bundle - Class in net.ssehub.easy.reasoning.core: Stores data about the containing OSGi bundle (static bundle without activator).
Bundle() - Constructor for class net.ssehub.easy.reasoning.core.Bundle
bundleLocation - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
bundleLocationToFile(String) - Static method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Converts a bundle location to a file.

C

cache - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter
canInitializeConfig(IReasoner) - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Checks reasoner for GeneralReasonerCapabilities.CONFIGURATION_INITIALIZATION.
capabilities - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
ChainedReasonerState - Class in net.ssehub.easy.reasoning.core.frontend: Helper class implementing a chained reasoner state.
ChainedReasonerState(Configuration, ReasoningResult) - Constructor for class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState: Creates a reasoner state.
ChainedReasonerState(Configuration, EvaluationResult) - Constructor for class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState: Creates a reasoner state.
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
check(ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Checks the configuration according to the given project structure and does not affect the configuration.
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Checks the configuration according to the given project structure and does not affect the configuration.
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.IReasonerAdapter: Checks the configuration according to the given project structure and does not affect the configuration.
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Checks the configuration according to the given project structure and does not affect the configuration.
check(Configuration, ReasonerConfiguration, ReasoningResult) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Checks the given configuration with respect to values and adjusts result if required.
check(Configuration, AttributeValues, ReasoningResult) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Checks the given configuration with respect to values and adjusts result if required.
check(ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
check(Configuration, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Checks the configuration according to the given project structure and does not affect the configuration.
checkDecisionVariable(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Checks a single variable.
checkDecisionVariable(IDecisionVariable, IAssignmentState) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Checks a single variable.
checkForCapabilitiy(IReasoner, IReasonerCapability) - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Checks reasoner for the given reasoner capability.
checkPositionIndex(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Checks index to be a valid position.
clear() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Clears all cache entries.
clear(Configuration) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Clears the cache entry for config if one was registered.
clear() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Deletes all value assignments.
clear() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Removes all of the elements from this list.
clearReasoningID(String) - Static method in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics: Clears a specific reasoningID from the map.
CommentResourceVisitor - Class in net.ssehub.easy.reasoning.core.reasoner: A visitor turning (partial) IVML elements into more or less explainable strings based on a given CommentResource.
CommentResourceVisitor(Writer, CommentResource) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor: Creates a visitor instance.
comments - Variable in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor
concatenate(String, String) - Static method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner: Concatenates two strings regarding null for s2.
config - Variable in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
config - Variable in class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState
config - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
config - Variable in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
conflictingElementProjects - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
conflictingElements - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
conflictingElementSuggestions - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
constraint - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList.Node
constraint - Variable in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair
ConstraintBase - Class in net.ssehub.easy.reasoning.core.reasoner: Implements the constraint base, a combination of linked list and map in order to quickly store, retrieve and delete constraints to be evaluated.
ConstraintBase() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ConstraintBase: Constructs an empty constraint base.
ConstraintEvaluationResult() - Constructor for enum net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.ConstraintEvaluationResult
ConstraintList - Class in net.ssehub.easy.reasoning.core.reasoner: Implements a constraint list.
ConstraintList() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Constructs an empty constraint base.
ConstraintList(ConstraintList.IModificationListener) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Constructs an empty constraint base.
ConstraintList.IModificationListener - Interface in net.ssehub.easy.reasoning.core.reasoner: A listener to be informed if the underlying list changes.
ConstraintList.Node - Class in net.ssehub.easy.reasoning.core.reasoner: The node type in a linked constraint base.
ConstraintVariableConstraint - Class in net.ssehub.easy.reasoning.core.reasoner: Reasoner specific constraint type indicating a Constraint.Type.CONSTRAINT.
ConstraintVariableConstraint(ConstraintSyntaxTree, IModelElement) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ConstraintVariableConstraint: Creates a new constraint from an already parsed syntax tree.
constraintVariables - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
contains(Attribute) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns whether the given attribute is contained in this value set.
contains(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintBase
contains(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns true if this list contains the specified constraint.
copy(File, File) - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Copies source to target.
createConstraint(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.core.reasoner.AnnotationAssignmentConstraint
createConstraint(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttachedConstraint
createConstraint(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintVariableConstraint
createConstraint(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint
createConstraint(ConstraintSyntaxTree) - Method in class net.ssehub.easy.reasoning.core.reasoner.TypedConstraint
createInstance(Configuration, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
createInstance(Configuration, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs).
createInstance(Configuration, ReasonerConfiguration) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs).
createList(ModelElement) - Static method in class net.ssehub.easy.reasoning.core.reasoner.Message: Creates a list with on element.
createMessage(String, String, Value, ModelElement) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Creates the error message in case that an attribute assignment is missing.
createPerformanceMeasurement(String) - Static method in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics: Create a list for storing timestamps for measuring reasoning performance.
createReasoningID(String, String) - Static method in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics: Creates a new ID for an individual reasoning task.
createValue(AbstractVariable, IDatatype, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Creates the value for a certain IVML type/variable.
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Creates the value for a certain IVML type/variable.
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.IReasonerAdapter: Creates the value for a certain IVML type/variable.
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Creates the value for a certain IVML type/variable.
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Static method in class net.ssehub.easy.reasoning.core.impl.ReasonerHelper: Creates the value for a certain IVML type/variable.
createValue(AbstractVariable, IDatatype, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
createValue(Configuration, AbstractVariable, IDatatype, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Creates the value for a certain IVML type/variable.
customMessages - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration

D

DefaultConstraint - Class in net.ssehub.easy.reasoning.core.reasoner: Reasoner specific constraint type indicating a Constraint.Type.DEFAULT constraint.
DefaultConstraint(ConstraintSyntaxTree, IModelElement) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Creates a new constraint from an already parsed syntax tree.
defaultConstraints - Variable in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint
defaultReasoner - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
DefaultReasonerProvider() - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend.DefaultReasonerProvider
deferredDefaultConstraints - Variable in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint
deflt - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter
delegate - Variable in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
DelegatingReasonerInstance - Class in net.ssehub.easy.reasoning.core.reasoner: Provides a default implementation for reasoner instances by delegating the respective calls to a given delegate reasoner.
DelegatingReasonerInstance(Configuration, ReasonerConfiguration, IReasoner) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance: Creates a delegating reasoner instance.
deriveDescriptor(String, String, ReasonerDescriptor[]) - Static method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner: Derives the descriptor from the descriptor chain.
DerivedReasonerDescriptor(String, String, String, String) - Constructor for class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner.DerivedReasonerDescriptor: Creates a new reasoner descriptor.
DESCRIPTION - Static variable in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics
descriptor - Variable in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
desiredOperation - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
dest - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
disableCustomMessages() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Disable custom messages.
doUpgrade(ReasoningResult) - Method in class net.ssehub.easy.reasoning.core.reasoner.FileUpgrader: Performs the upgrade operations.
doUpgrade(ReasoningResult) - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Performs the upgrade operations.
doUpgrade(ReasoningResult) - Method in class net.ssehub.easy.reasoning.core.reasoner.ZipUpgrader: Performs the upgrade operations.
downloadSource - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor

E

enableCustomMessages() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Enables custom messages.
enableInstanceBasedReasoning - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter
error(ReasoningResult, IOException) - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Adds an I/O error to result.
errorClassification - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
errors - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
evaluate(List<Constraint>, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.IReasonerAdapter: Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
evaluate(List<Constraint>, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
evaluate(Configuration, List<Constraint>, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
evaluatedConstraints - Variable in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult
EvaluationPair(Constraint) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Creates a pair with an unknown evaluation result.
EvaluationPair(Constraint, EvaluationResult.ConstraintEvaluationResult) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Creates a pair with a given evaluation result.
EvaluationPair(Constraint, EvaluationResult.ConstraintEvaluationResult, Value) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Creates a pair with a given evaluation result.
evaluationResult - Variable in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
evaluationResult - Variable in class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState
EvaluationResult - Class in net.ssehub.easy.reasoning.core.reasoner: A specific reasoning result for evaluations of presence conditions.
EvaluationResult() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult: Creates an instance.
EvaluationResult(String) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult: Creates an instance of a result signalling an unsupported operation.
EvaluationResult.ConstraintEvaluationResult - Enum in net.ssehub.easy.reasoning.core.reasoner: Denotes the possible results of a constraint evaluation.
EvaluationResult.EvaluationPair - Class in net.ssehub.easy.reasoning.core.reasoner: Defines a pair of a constraint and its evaluation result.
explanation - Variable in enum net.ssehub.easy.reasoning.core.reasoner.GeneralMeasures

F

FAILED_CONSTRAINT - Static variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningErrorCodes: Constraint not satisfied.
FAILED_REASSIGNMENT - Static variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningErrorCodes: Reassignment of the variable in the same scope or assigning value to the froozen variable.
files - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
FileUpgrader - Class in net.ssehub.easy.reasoning.core.reasoner: An upgrader for file input locations.
FileUpgrader(URI, String, Map<String, String>, String, ProgressObserver) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.FileUpgrader: Creates an upgrader instance.
findReasoner(ReasonerDescriptor) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Finds a reasoner and throws related exceptions.
findReasoner(String, String) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the first version with given name and version.
findReasoner(ReasonerDescriptor) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Returns the reasoner which provides the given descriptor.
findReasoner(String, String) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Returns the first version with given name and version.
first - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList
FOLDER_PATH - Static variable in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics
FrontendReasonerAdapter() - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter

G

GeneralMeasures - Enum in net.ssehub.easy.reasoning.core.reasoner: General reasoner measures.
GeneralMeasures(String) - Constructor for enum net.ssehub.easy.reasoning.core.reasoner.GeneralMeasures: Creates a measures constant.
GeneralReasonerCapabilities - Enum in net.ssehub.easy.reasoning.core.reasoner: Defines general reasoner capabilities.
GeneralReasonerCapabilities() - Constructor for enum net.ssehub.easy.reasoning.core.reasoner.GeneralReasonerCapabilities
getActualReasoner(Configuration, List<Constraint>, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the actual and matching reasoner.
getAdapter(Configuration, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Returns the adapter for the given configuration.
getAffectedVariable(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns the affected variable specified by index.
getAffectedVariablesCount() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Return the number of affected variables.
getAssignments() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor: Returns the actual assignments.
getAttachedConstraintsSize() - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Returns the number of attached constraints.
getAttachedTo() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttachedConstraint
getAttributes() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns all attributes for which value assignments are stored.
getAttributesAsList() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns all attributes for which value assignments are stored.
getAttributesAsSet() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns all attributes for which value assignments are stored.
getAttributesCount() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns the number of attributes for which value assignments are stored in this instance.
getAttributeValue(Attribute, int) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns the specific value assigned to attribute.
getAttributeValues() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns the attribute values for reasoning.
getAttributeValues(ReasonerConfiguration) - Static method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Null-safe access to the attribute values.
getAttributeValuesCount(Attribute) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns the number of values assigned to attribute.
getCapabilities() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns the supported capabilities.
getCapabilityCount() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns the number of provided capabilities.
getComment(String) - Method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor: Returns the comment for key.
getConflictComments() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the list of conflicting item comments.
getConflictLabels() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the list of conflicting item labels.
getConflictProjects() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the list of conflicting item Projects.
getConflicts() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the list of conflicting items.
getConflictsCount() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the number of conflicting elements.
getConflictSuggestions() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the list of conflicting item Suggestions.
getConflictSuggestionTypes() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the list of conflicting item suggestion types.
getConstraint() - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Returns the constraint.
getConstraintVariables() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for returning a list of AbstractVariables that are involved in each failed constraint.
getCustomMessages() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns if custom messages are enabled.
getDefaultConstraints() - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Returns the default constraint list explicitly.
getDefaultResoner() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns the default reasoner.
getDeferredDefaultConstraints() - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Returns the deferred default constraint list explicitly.
getDescriptor() - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
getDescriptor() - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Returns a descriptor stating common information about this reasoner.
getDescriptor() - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
getDescriptor() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Returns a descriptor stating common information about this reasoner.
getDownloadSource() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns the source for downloading a licensed version.
getErrorClassification() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for returning a list of reasoning error classifiers.
getErrors() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor: Returns the errors occurred while assignment.
getEvaluationPair(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult: Returns an evaluation pair.
getEvaluationPairCount() - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult: Returns the number of stored evaluation pairs.
getExplanation() - Method in enum net.ssehub.easy.reasoning.core.reasoner.GeneralMeasures
getExplanation() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IMeasurementKey: An explanation/headline for this key.
getExtension() - Method in class net.ssehub.easy.reasoning.core.reasoner.FileUpgrader: Returns the extension of the source URI.
getFirst() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns the first constraint in this list.
getInstance() - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Returns the registered instance for the current thread.
getInstance() - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the singleton instance of this class.
getInstance() - Static method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Singleton access for this class.
getInstanceSafe() - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Returns the registered instance for the current thread.
getLast() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns the last constraint in this list.
getLastConfiguration() - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
getLastConfiguration() - Method in class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState: Returns the last configuration to be passed on.
getLastConfiguration() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IChainingReasoner: Returns the last, potentially internal configuration.
getLastEvaluationResult() - Method in class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState: Returns the last evaluation result to be passed on and considered.
getLastReasoningResult() - Method in class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState: Returns the last reasoning result to be passed on and considered.
getLicense() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns a textual form of the license of the reasoner.
getLicenseRestriction() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns a license restriction in textual form, e.g.
getLogger() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns the additional information logger.
getMappedFile(String) - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Returns a mapped file name.
getMarker() - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Returns the marker file.
getMeasure(IMeasurementKey) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns the measure for a specific key.
getMessage(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns the message specified by index.
getMessageCount() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns the number of messages related to this reasoning result.
getName() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns the name of the reasoner.
getNamedConstraintVariables() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for returning a list of ConstraintVariables of a failed constraint.
getObserver() - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Returns the progress observer instance.
getPreferredReasoner() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the preferred reasoner descriptor due to internal knowledge about the reasoner implementation status.
getProblemConstraintParts() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for returning a list of partial ConstraintSyntaxTrees that are involved in each failed constraint.
getProblemConstraints() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for returning a list of full Constraints that are involved in each failed constraint.
getProblemVariables() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for returning a list of IDecisionVariables that are involved in each failed constraint.
getProject() - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Returns the project this instance is attached to.
getProject() - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
getQualifiedName(IDecisionVariable) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Returns the qualified name of the given decision variable.
getReadyForUseCount() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the number of reasoners which are ready for use.
getReasoner(int) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Returns the IReasoner at the specified position in this list.
getReasonerConfiguration() - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Returns the reasoner configuration this project is running with.
getReasonerConfiguration() - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
getReasonerCount() - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Returns the number of registered reasoners.
getReasonerDescriptor(int) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the descriptor for a specific reasoner.
getReasonerHint() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the current reasoner hint.
getReasonersCount() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the number of available reasoners.
getReasoningResult() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess: Returns the result of the reasoning, i.e.
getRegistry() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Getter for the Reasoner registry, capable of handling multiple IReasoners.
getResult() - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Returns the evaluation result.
getSource() - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerMessage
getSource() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage: Returns the message source.
getSource() - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Returns the source URI.
getStats(String) - Static method in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics: Method for retrieving statistics for a specific reasoning process.
getTimeout() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns the global timeout for reasoning.
getTimeout() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns the timeout for reasoning.
getTimeout(ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns the specific timeout for reasoning.
getType() - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerMessage
getType() - Method in class net.ssehub.easy.reasoning.core.reasoner.AnnotationAssignmentConstraint: Returns the conceptual type of the constraint.
getType() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintVariableConstraint
getType() - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Returns the conceptual type of the constraint.
getType() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage: Returns the type of the message.
getType() - Method in class net.ssehub.easy.reasoning.core.reasoner.TypedConstraint
getValue() - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Returns the evaluated value.
getValue() - Method in class net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult: Returns the created value.
getVariable() - Method in class net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult: Returns the holding variable.
getVersion() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns a textual form of the currently integrated version.

H

hasCapability(IReasonerCapability) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend.DefaultReasonerProvider
hasCapability(IReasonerCapability) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns whether the described reasoner has the given capability.
hasConflict - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
hasConflict() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Denotes whether this reasoning result represents an error/conflict.
hasInfo() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Checks whether this result contains any Status.INFO messages, indicating that the configuration was changed.
hasReasonerCapability(IReasonerCapability) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Return whether the current reasoner hint has a specific capability.
hasReasonerCapability(IReasonerCapability, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Return whether the current reasoner hint has a specific capability.
hasTimeout - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
hasTimeout() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns whether reasoning was stopped due to a timeout.
hasValue(AbstractVariable, Value) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns whether there is an assignment of value to attribute.

I

IChainingReasoner - Interface in net.ssehub.easy.reasoning.core.reasoner: A specialized interface for reasoners, which, in principle, can be chained, i.e., composed to a chain of reasoners, passing along results and configurations.
ID - Static variable in class net.ssehub.easy.reasoning.core.Bundle: Stores the bundle ID.
IMeasurementKey - Interface in net.ssehub.easy.reasoning.core.reasoner: Base type for measurement keys.
IMessageListener - Interface in net.ssehub.easy.reasoning.core.frontend: Defines a lister to be notified in case that reasoner messages are issued.
incremental - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
indexOf(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns the index of the first occurrence of the specified constraint in this list, or -1 if this list does not contain the element.
info(String) - Method in interface net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration.IAdditionalInformationLogger: Emits some information.
info(Message) - Method in interface net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration.IAdditionalInformationLogger: Emits information about msg.
initialize(Configuration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend.DefaultReasonerProvider
initialize(Configuration, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Initializes the configuration according to the given model and propagates values, if possible.
installConfigurationInitializer() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Installs the configuration intializer.
instance - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter
INSTANCE - Static variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend
InstanceReasonerAdapter(IReasonerInstance) - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter: Creates a new instance reasoner adapter .
instances - Static variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter
IReasoner - Interface in net.ssehub.easy.reasoning.core.reasoner: General interface for reasoner, which can be registered to the ReasonerRegistry.
IReasonerInstance - Interface in net.ssehub.easy.reasoning.core.frontend: A reuseable reasoner instance.
IReasonerInterceptor - Interface in net.ssehub.easy.reasoning.core.reasoner: An initial reasoner interceptor to be informed about the reasoning process in detail.
IReasonerListener - Interface in net.ssehub.easy.reasoning.core.frontend: Listener for the IReasoner, to inform the caller of the reasoner, that the reasoning has been finished.
IReasonerMessage - Interface in net.ssehub.easy.reasoning.core.reasoner: Defines a message for internally sending signals among reasoners.
IReasonerMessage.IType - Interface in net.ssehub.easy.reasoning.core.reasoner: Defines the type of message types.
IReasonerMessage.Type - Enum in net.ssehub.easy.reasoning.core.reasoner: Defines basic message types.
IReasonerRegistry - Interface in net.ssehub.easy.reasoning.core.reasoner: Public interface for this reasoner registry capable of handling multiple reasoners.
isChainingReasoner(ReasonerDescriptor) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns whether the reasoner registered for this descriptor is a chaining reasoner.
isConsistent(Project, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
isConsistent(ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Checks whether a given variability model (project) is satisfiable.
isConsistent(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter
isConsistent(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter
isConsistent(Configuration, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.IReasonerAdapter: Checks whether a given variability model (project) is satisfiable.
isConsistent(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Checks whether a given variability model (project) is satisfiable.
isConsistent(Project, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Checks whether a given variability model (project) is satisfiable.
isConsistent(ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
isConsistent(Project, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Checks whether a given variability model (project) is satisfiable.
isEmpty() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns whether there are value assignments.
isEmpty(AttributeValues) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns whether there are value assignments in values.
isEmpty() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns true if this list contains no constraints.
isIncrementalMode() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns whether incremental reasoning shall be done (see ReasonerConfiguration.setIncrementalMode(boolean).
isPositionIndex(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Tells if the argument is the index of a valid position for an iterator or an add operation.
isReadyForUse(IReasoner) - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Returns whether the given reasoner is ready for use.
isReadyForUse() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns whether this reasoner is licensed and valid so that it may be used.
isRunning() - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Returns whether the reasoner is (still) operating.
isRunning - Variable in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
isRunning() - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
isRuntimeMode() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Returns whether runtime reasoning shall be done (see ReasonerConfiguration.setRuntimeMode(boolean).
isValid - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor
isValid() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor: Returns whether the given configuration is valid with respect to the given set of attributes and the actual values of the attributes.
iterator() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns an iterator over the elements in this list (in proper sequence).
IUpgrader - Class in net.ssehub.easy.reasoning.core.reasoner: Defines the interface to an installation upgrade mechanism.
IUpgrader(URI, String, Map<String, String>, String, ProgressObserver) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Creates an upgrader instance.

L

last - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList
license - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
licenseRestriction - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
LINEBREAK - Static variable in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics
linkFirst(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Links constraint as first constraint.
linkLast(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Links constraint as last constraint.
listener - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
listener - Variable in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry
listener - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList
LOG_RESULT - Static variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
logger - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
logInformation(Project, ReasonerConfiguration) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Logs reasoning summary based on prj, the measures and the messages.
logInformation(Project, ReasonerConfiguration, boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Logs reasoning summary based on prj, the measures and the messages.
logInformation(Project, ReasonerConfiguration.IAdditionalInformationLogger, boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Logs reasoning summary based on prj, the measures and the messages.
logResult() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess: Performs the result logging as it was previously integrated into the reasoner but removed for performance reasons.

M

mapping - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintBase
marker - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
measurementKeys() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns all measurement keys.
measures - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
Message - Class in net.ssehub.easy.reasoning.core.reasoner: Part of the ReasoningResult class, expressing on error/warning of a complete ReasoningResult.
Message(String, List<ModelElement>, Status) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.Message: Sole constructor for multiple conflicting elements.
Message.SuggestionType - Enum in net.ssehub.easy.reasoning.core.reasoner: Defines supported suggestion types.
messages - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
min(int, int, int) - Static method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the minimum of the three given integer values.
min(int, int, int, int) - Static method in class net.ssehub.easy.reasoning.core.reasoner.Message: Returns the minimum of the four given integer values.
modCount - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList

N

name() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IMeasurementKey: Returns the name of the key.
name - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
net.ssehub.easy.reasoning.core - package net.ssehub.easy.reasoning.core: Integration layer for reasoners.
net.ssehub.easy.reasoning.core.frontend - package net.ssehub.easy.reasoning.core.frontend: Frontend to access reasoner information as well as to execute reasoning tasks.
net.ssehub.easy.reasoning.core.impl - package net.ssehub.easy.reasoning.core.impl: Hidden implementation stuff.
net.ssehub.easy.reasoning.core.performance - package net.ssehub.easy.reasoning.core.performance: Basic performance measuring for the reasoner.
net.ssehub.easy.reasoning.core.reasoner - package net.ssehub.easy.reasoning.core.reasoner: All classes and interfaces needed to implement a reasoner.

How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.
next - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList.Node
NO_REASONING_AVAILABE_MSG - Static variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend
node(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns the (non-null) Node at the specified element index.
Node(ConstraintList.Node, Constraint, ConstraintList.Node) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ConstraintList.Node: Creates a node.
noResult(String) - Static method in class net.ssehub.easy.reasoning.core.reasoner.Message
notify(IReasonerMessage) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
notify(ReasonerDescriptor, IReasonerMessage.IType) - Method in interface net.ssehub.easy.reasoning.core.frontend.IMessageListener: Is called when a reasoner message is issued.
notify(IReasonerMessage) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Is called when a reasoner message is issued.
notify(IReasonerMessage) - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
notify(IReasonerMessage) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Is called when a reasoner message is issued.
notifyAdded(Constraint, ConstraintList.Node) - Method in interface net.ssehub.easy.reasoning.core.reasoner.ConstraintList.IModificationListener: Is called when a new node has been added for constraint.
notifyAllReasoners(IReasoner, IReasonerMessage.IType) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry
notifyAllReasoners(IReasoner, IReasonerMessage.IType) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasonerRegistry: Notifies all reasoners about a given event.
notifyEvaluation(Constraint, IConstraintEvaluator) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor: Notifies about the evaluation of a constraint.
notifyEvaluation(Constraint, IConstraintEvaluator) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerInterceptorAdaptor
notifyRemoved(Constraint, ConstraintList.Node) - Method in interface net.ssehub.easy.reasoning.core.reasoner.ConstraintList.IModificationListener: Is called when a new node is being removed through removing constraint.
notifyRemovedAll() - Method in interface net.ssehub.easy.reasoning.core.reasoner.ConstraintList.IModificationListener: Is called when all nodes have been removed at once.

O

observer - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
observer - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
obtainTargetFile(String) - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Obtains a file descriptor for targetName and cares for uniquely renaming existing files.
outOfBoundsMsg(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Constructs an IndexOutOfBoundsException detail message.
outputPos() - Method in enum net.ssehub.easy.reasoning.core.reasoner.GeneralMeasures
outputPos() - Method in interface net.ssehub.easy.reasoning.core.reasoner.IMeasurementKey: Intended output position for printing.

P

PERFORMANCE - Static variable in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics
PerformanceStatistics - Class in net.ssehub.easy.reasoning.core.performance: Class contains statistic methods for measuring and displaying reasoning performance.
PerformanceStatistics() - Constructor for class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics
pop() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Pops an element from the stack represented by this list.
prev - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList.Node
printConfigVariables(String, Configuration) - Static method in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics: Method for printing all variables from a configuration to a file.
problemConstraintParts - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
problemConstraints - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
problemPointsToString(Set<AbstractVariable>) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Turns given variables into a problem points description.
problemVariables - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
project - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
PROJECT - Static variable in class net.ssehub.easy.reasoning.core.performance.PerformanceStatistics
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
propagate(ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Checks the configuration according to the given model and propagates values, if possible.
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.InstanceReasonerAdapter
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.IReasonerAdapter: Checks the configuration according to the given model and propagates values, if possible.
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Checks the configuration according to the given model and propagates values, if possible.
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Checks the configuration according to the given model and propagates values, if possible.
propagate(ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
propagate(Configuration, ReasonerConfiguration, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Checks the configuration according to the given model and propagates values, if possible.
PROTOCOL_FILE - Static variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
PROTOCOL_REFERENCE - Static variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
providesAffectedVariables() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Returns whether the reasoner provides information about the affected variables via ReasoningResult.getAffectedVariable(int).
providesInformationOnAffectedVariables() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns whether information on affected variables is provided.

R

rConfig - Variable in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
reasoner - Variable in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry
ReasonerAdapter - Class in net.ssehub.easy.reasoning.core.frontend: Abstracts over instance-based and full reasoning.
ReasonerAdapter() - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Creates a reasoning adapter cache with instance-based reasoning allowed as default.
ReasonerAdapter(boolean) - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Creates a reasoning adapter cache.
ReasonerAdapter.FrontendReasonerAdapter - Class in net.ssehub.easy.reasoning.core.frontend: Implements a full/fallback reasoner adapter.
ReasonerAdapter.InstanceReasonerAdapter - Class in net.ssehub.easy.reasoning.core.frontend: Implements an instance-based reasoner adapter.
ReasonerAdapter.IReasonerAdapter - Interface in net.ssehub.easy.reasoning.core.frontend: Defines the interface of an abstracting reasoner adapter.
reasonerConfig - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
ReasonerConfiguration - Class in net.ssehub.easy.reasoning.core.reasoner: Describes the configuration to be passed via the ReasonerFrontend to the individual reasoners.
ReasonerConfiguration() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Creates a new instance and initializes it with default values, i.e.
ReasonerConfiguration(boolean) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Creates a new instance and initializes it with default values, i.e.
ReasonerConfiguration.IAdditionalInformationLogger - Interface in net.ssehub.easy.reasoning.core.reasoner: Describes an information logger.
ReasonerDescriptor - Class in net.ssehub.easy.reasoning.core.reasoner: Represents descriptive information about a reasoner.
ReasonerDescriptor(String, String, String, String, URL) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor: Creates a new reasoner descriptor.
ReasonerFrontend - Class in net.ssehub.easy.reasoning.core.frontend: The main interface to the reasoner core infrastructure.
ReasonerFrontend() - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Singleton constructor for this class.
ReasonerFrontend.DefaultReasonerProvider - Class in net.ssehub.easy.reasoning.core.frontend: Implements the default reasoner provider.
ReasonerHelper - Class in net.ssehub.easy.reasoning.core.impl: Some helpful methods for reasoners.
ReasonerHelper() - Constructor for class net.ssehub.easy.reasoning.core.impl.ReasonerHelper
reasonerHint - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend
ReasonerInterceptorAdaptor - Class in net.ssehub.easy.reasoning.core.reasoner: Default empty implementation.
ReasonerInterceptorAdaptor() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasonerInterceptorAdaptor
ReasonerMessage - Class in net.ssehub.easy.reasoning.core.impl: Implements the internal message among reasoners.
ReasonerMessage(IReasoner, IReasonerMessage.IType) - Constructor for class net.ssehub.easy.reasoning.core.impl.ReasonerMessage: Creates a reasoner message.
ReasonerRegistry - Class in net.ssehub.easy.reasoning.core.impl: A class for registering installed reasoners.
ReasonerRegistry() - Constructor for class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Avoids multiple instantiation of this singleton class.
reasonerRegistry - Static variable in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry
reasoners - Variable in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
ReasoningErrorCodes - Class in net.ssehub.easy.reasoning.core.reasoner: Specifies to witch kind of error belongs failed constraint in the message generated by the reasoner.
ReasoningErrorCodes() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasoningErrorCodes
reasoningFinished(ReasoningResult) - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerListener: This method will be called after the reasoner is finished.
ReasoningOperation - Enum in net.ssehub.easy.reasoning.core.reasoner: Specifies which kind of reasoning should be performed by the reasoner.
ReasoningOperation() - Constructor for enum net.ssehub.easy.reasoning.core.reasoner.ReasoningOperation
ReasoningProcess - Class in net.ssehub.easy.reasoning.core.frontend: Delegate for starting a reasoning.
ReasoningProcess(ReasoningOperation, Configuration, ReasonerConfiguration, IReasonerListener, ProgressObserver) - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess: Sole constructor for this class.
ReasoningProcess(Project, ReasonerConfiguration, IReasonerListener, ProgressObserver) - Constructor for class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess: Constructor for checking the consistency (satisfiability) of a project, without having a configuration.
reasoningResult - Variable in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
reasoningResult - Variable in class net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState
ReasoningResult - Class in net.ssehub.easy.reasoning.core.reasoner: Result of (one) reasoning step.
ReasoningResult() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: General constructor for new ReasoningResults.
ReasoningResult(String) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Constructor for a result denoting the the chosen constructor is not able to handle the called operation.
reasoningSupported() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Checks whether at least one reasoner is present.
reasoningUnsupported() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns whether the called reasoning step is supported by this reasoner.
register(Configuration) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Registers for a reasoning adapter (cache entry) for config for instance-based reasoning.
register(IMessageListener) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Registers a message listener.
register(IReasoner) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry
register(IMessageListener) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Registers a message listener.
register(IReasoner) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasonerRegistry: Adds a new Reasoner to the registry.
registerInstance(ReasonerAdapter) - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Registers an instance for the current thread.
registry - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend
removeAll(Collection<? extends Constraint>) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintBase
removeAll(Collection<? extends Constraint>) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Removes all elements from this list, which are also in constraints.
removeFirst() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Removes and returns the first constraint from this list.
removeLast() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Removes and returns the last constraint from this list.
removeValue(Attribute, Value) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Remove a given value from the value assignment of attribute.
ResolutionVisitor() - Constructor for class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
resolve(IAttributableElement) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor: Resolves an attributable element.
resolveUsing(Project, boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Resolve unresolved attributes in project.
result - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess
result - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor
result - Variable in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair
run() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess: Executes the reasoning.

S

setAdditionalInformationLogger(ReasonerConfiguration.IAdditionalInformationLogger) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Defines the additional information logger.
setAttributeValues(AttributeValues) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Changes attribute values for reasoning.
setDefaultConstraints(ConstraintList) - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Sets the default constraint list explicitly.
setDefaultReasoner(ReasonerDescriptor) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Changes the default reasoner.
setDeferredDefaultConstraints(ConstraintList) - Method in class net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint: Sets the deferred default constraint list explicitly.
setEnableInstanceBasedReasoning(boolean) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Defines whether instance-based reasoning shall be allowed/supported.
setErrorResult(String) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasoningProcess: Sets a ReasoningResult denoting that an error occurred during reasoning.
setIncrementalMode(boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Defines whether runtime incremental reasoning shall be performend.
setInterceptor(IReasonerInterceptor) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Defines the optional interceptor instance.
setMeasure(IMeasurementKey, Number) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Sets a reasoner-specific measure.
setModificationListener(ConstraintList.IModificationListener) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Changes the modification listener.
setPreferredReasoner() - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Sets the actually preferred reasoner as hint.
setReasonerHint(ReasonerDescriptor) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Defines that the specified reasoner shall be used.
setResult(EvaluationResult.ConstraintEvaluationResult) - Method in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair: Changes the evaluation result.
setRuntimeMode(boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Defines whether runtime reasoning reasoning shall be activated.
setState(Configuration, ReasoningResult) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
setState(Configuration, EvaluationResult) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
setState(Configuration, ReasoningResult) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IChainingReasoner: Sets the state determined by the last reasoner.
setState(Configuration, EvaluationResult) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IChainingReasoner: Sets the state determined by the last reasoner.
setStopped(boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Changes whether reasoning was stopped due to a user request.
setTimeout(int) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Changes the global timeout for reasoning.
setTimeout(int) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration: Changes the timeout for reasoning.
setTimeout(boolean) - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Changes whether reasoning was stopped due to a timeout.
setValue(Attribute, Value, int) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Adds a value for a given attribute.
setValues(Attribute, Attribute) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Transfers all value assignments from source to target.
size - Variable in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList
size() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Returns the number of constraints in this constraint base.
source - Variable in class net.ssehub.easy.reasoning.core.impl.ReasonerMessage
source - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
stop() - Method in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance: Stops/terminates reasoning.
stop() - Method in class net.ssehub.easy.reasoning.core.reasoner.DelegatingReasonerInstance
SuggestionType() - Constructor for enum net.ssehub.easy.reasoning.core.reasoner.Message.SuggestionType

T

timeout - Variable in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend
timeout - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
timeStamp - Variable in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader
toArray() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Turns this list into an array containing all constraints.
toBundleLocation(File) - Static method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Returns a pseudo bundle location derived from file.
toCollection(Collection<Constraint>) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Adds all elements in this list to a collection of constraints.
toString() - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Returns a textual description of this object.
toString(Value) - Static method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues: Turns a value into a string.
toString() - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Turns the list into its string representation.
toString(Constraint, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Turns a constraint into a string representation.
toString(ModelElement, IDecisionVariable) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Turns a model element into a string representation.
toString() - Method in class net.ssehub.easy.reasoning.core.reasoner.Message
traceToTop(ModelElement) - Method in class net.ssehub.easy.reasoning.core.reasoner.Message: Method for creating a msg of trace to the top element of constraint or variable that fail in the reasoning.
type - Variable in class net.ssehub.easy.reasoning.core.impl.ReasonerMessage
type - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttachedConstraint
Type() - Constructor for enum net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage.Type
type - Variable in class net.ssehub.easy.reasoning.core.reasoner.TypedConstraint
TypedConstraint - Class in net.ssehub.easy.reasoning.core.reasoner: Reasoner specific constraint type indicating a typed constraint, e.g., a default constraint or a constraint originating from a constraint variable.
TypedConstraint(ConstraintSyntaxTree, Constraint.IConstraintType, IModelElement) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.TypedConstraint: Creates a new constraint from an already parsed syntax tree.

U

unlink(ConstraintList.Node) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Unlinks non-null node x.
unlinkFirst(ConstraintList.Node) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Unlinks non-null first node node.
unlinkLast(ConstraintList.Node) - Method in class net.ssehub.easy.reasoning.core.reasoner.ConstraintList: Unlinks non-null last node node.
unpackEntryToInstallPath(ZipInputStream, ZipEntry, String) - Method in class net.ssehub.easy.reasoning.core.reasoner.ZipUpgrader: Unpacks a ZIP entry to the bundle installation path.
unpackZip(ZipInputStream) - Method in class net.ssehub.easy.reasoning.core.reasoner.ZipUpgrader: Unpacks a JESS installation zip.
unregister(IMessageListener) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Unregisters a message listener.
unregister(IReasoner) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry
unregister(IMessageListener) - Method in class net.ssehub.easy.reasoning.core.impl.ReasonerRegistry: Unregisters a message listener.
unregister(IReasoner) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasonerRegistry: Removes the specified reasoner from the registry, if the reasoner was added before.
unregisterInstance() - Static method in class net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter: Unregisters an instance for the current thread.
unresolvedAssignments - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues
upgrade(URI, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner
upgrade() - Method in class net.ssehub.easy.reasoning.core.reasoner.FileUpgrader
upgrade(URI, ProgressObserver) - Method in interface net.ssehub.easy.reasoning.core.reasoner.IReasoner: Updates the installation of this reasoner, e.g., in order to obtain a licensed reasoner version.
upgrade() - Method in class net.ssehub.easy.reasoning.core.reasoner.IUpgrader: Executes the upgrade.
upgradeReasoner(ReasonerDescriptor, URI, ProgressObserver) - Method in class net.ssehub.easy.reasoning.core.frontend.ReasonerFrontend: Updates a reasoner installation, e.g., in order to obtain a licensed reasoner version.

V

value - Variable in class net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.EvaluationPair
valueAssignments - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues
ValueCreationResult - Class in net.ssehub.easy.reasoning.core.reasoner: Denotes the result of creating a value of an IVML variable through the reasoner considering the relevant constraints.
ValueCreationResult(IDecisionVariable) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult: Creates a value creation result.
valueOf(String) - Static method in enum net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.ConstraintEvaluationResult: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.ssehub.easy.reasoning.core.reasoner.GeneralMeasures: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.ssehub.easy.reasoning.core.reasoner.GeneralReasonerCapabilities: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage.Type: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.ssehub.easy.reasoning.core.reasoner.Message.SuggestionType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.ssehub.easy.reasoning.core.reasoner.ReasoningOperation: Returns the enum constant of this type with the specified name.
values - Variable in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor
values() - Static method in enum net.ssehub.easy.reasoning.core.reasoner.EvaluationResult.ConstraintEvaluationResult: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.ssehub.easy.reasoning.core.reasoner.GeneralMeasures: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.ssehub.easy.reasoning.core.reasoner.GeneralReasonerCapabilities: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage.Type: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.ssehub.easy.reasoning.core.reasoner.Message.SuggestionType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.ssehub.easy.reasoning.core.reasoner.ReasoningOperation: Returns an array containing the constants of this enum type, in the order they are declared.
var - Variable in class net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult
variablesInConstraints - Variable in class net.ssehub.easy.reasoning.core.reasoner.Message
version - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
visit(IModelElement, CommentResource) - Static method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor: Visits a model element and returns the translated elements as String.
visitAttribute(Attribute) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitAttributeAssignment(AttributeAssignment) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitComment(Comment) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitCompound(Compound) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitCompoundAccess(CompoundAccess) - Method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor
visitCompoundAccessStatement(CompoundAccessStatement) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitConfiguration(Configuration) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor
visitConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitConstraint(Constraint) - Method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor
visitDecisionVariable(IDecisionVariable) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor
visitDecisionVariableDeclaration(DecisionVariableDeclaration) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitDerivedDatatype(DerivedDatatype) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitEnum(Enum) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitEnumLiteral(EnumLiteral) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitFreezeBlock(FreezeBlock) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitOperationDefinition(OperationDefinition) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitOrderedEnum(OrderedEnum) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitPartialEvaluationBlock(PartialEvaluationBlock) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitProject(Project) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitProjectImport(ProjectImport) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitProjectInterface(ProjectInterface) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitReference(Reference) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitSequence(Sequence) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitSet(Set) - Method in class net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor
visitVariable(Variable) - Method in class net.ssehub.easy.reasoning.core.reasoner.CommentResourceVisitor

W

wasStopped - Variable in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
wasStopped() - Method in class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult: Returns whether reasoning was stopped due to a user request.

Z

ZipUpgrader - Class in net.ssehub.easy.reasoning.core.reasoner: An upgrader for zip and file input locations.
ZipUpgrader(URI, String, Map<String, String>, String, ProgressObserver) - Constructor for class net.ssehub.easy.reasoning.core.reasoner.ZipUpgrader: Creates an upgrader instance.

A B C D E F G H I L M N O P R S T U V W Z