Uses of Package
net.ssehub.easy.reasoning.core.reasoner
-
Packages that use net.ssehub.easy.reasoning.core.reasoner Package Description net.ssehub.easy.producer.core.mgmt This package contains classes which are needed for data management, i.e.net.ssehub.easy.producer.core.persistence.standard This package contains classes which specific to the persistencer of this plug-in.net.ssehub.easy.producer.eclipse.model This package holds the complete data model for this plugin.
In this package are abstract super classes and exceptions, in subpackage you'll find the concrete implementations for a specific model.net.ssehub.easy.producer.ui.confModel This package holds a GUI representation of the configuration with methods and additional information as needed by the Eclipse UI.net.ssehub.easy.producer.ui.core.reasoning Classes which should simplify handling the reasoning inside the GUI.net.ssehub.easy.producer.ui.internal This package holds extension classes of eclipse which must not be called or extended from other plug-ins.net.ssehub.easy.producer.ui.productline_editor This package contains the editor for configuring the product line.net.ssehub.easy.producer.ui.productline_editor.configuration This package holds classes for the configuration editor and super classes for similar configuration editors.net.ssehub.easy.producer.ui.productline_editor.project_configuration This package contains classes for configuring the current project.net.ssehub.easy.producer.ui.reasoner Provides the preferences page for configuring the installed reasoners.net.ssehub.easy.reasoning.core.frontend Frontend to access reasoner information as well as to execute reasoning tasks.net.ssehub.easy.reasoning.core.impl Hidden implementation stuff.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"). Addorg.eclipse.equinox.dsto the required plugins andorg.osgi.service.componentto the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.net.ssehub.easy.reasoning.sseReasoner Package contains the EASy-Producer reasoner implementation classes.net.ssehub.easy.reasoning.sseReasoner.model Package for creating a reasoning model: constraint container, project hierachy evaluator and other. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.core.mgmt Class Description ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners.ReasoningOperation Specifies which kind of reasoning should be performed by the reasoner.ReasoningResult Result of (one) reasoning step. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.core.persistence.standard Class Description ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.eclipse.model Class Description ReasoningOperation Specifies which kind of reasoning should be performed by the reasoner. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.confModel Class Description Message Part of theReasoningResultclass, expressing on error/warning of a completeReasoningResult. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.core.reasoning Class Description ReasoningResult Result of (one) reasoning step. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.internal Class Description ReasonerDescriptor Represents descriptive information about a reasoner. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.productline_editor Class Description Message Part of theReasoningResultclass, expressing on error/warning of a completeReasoningResult. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.productline_editor.configuration Class Description AttributeValues Stores attributes and their assigned values as an additional information to be considered while reasoning.Message Part of theReasoningResultclass, expressing on error/warning of a completeReasoningResult.ReasoningOperation Specifies which kind of reasoning should be performed by the reasoner.ReasoningResult Result of (one) reasoning step. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.productline_editor.project_configuration Class Description ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners.ReasoningResult Result of (one) reasoning step. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.producer.ui.reasoner Class Description ReasonerDescriptor Represents descriptive information about a reasoner. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.reasoning.core.frontend Class Description EvaluationResult A specific reasoning result for evaluations of presence conditions.IChainingReasoner A specialized interface for reasoners, which, in principle, can be chained, i.e., composed to a chain of reasoners, passing along results and configurations.IReasoner General interface for reasoner, which can be registered to the ReasonerRegistry.IReasonerMessage Defines a message for internally sending signals among reasoners.IReasonerMessage.IType Defines the type of message types.IReasonerRegistry Public interface for this reasoner registry capable of handling multiple reasoners.ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners.ReasonerDescriptor Represents descriptive information about a reasoner.ReasoningOperation Specifies which kind of reasoning should be performed by the reasoner.ReasoningResult Result of (one) reasoning step.ValueCreationResult Denotes the result of creating a value of an IVML variable through the reasoner considering the relevant constraints. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.reasoning.core.impl Class Description IReasoner General interface for reasoner, which can be registered to the ReasonerRegistry.IReasonerMessage Defines a message for internally sending signals among reasoners.IReasonerMessage.IType Defines the type of message types.IReasonerRegistry Public interface for this reasoner registry capable of handling multiple reasoners.ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners.ReasonerDescriptor Represents descriptive information about a reasoner.ValueCreationResult Denotes the result of creating a value of an IVML variable through the reasoner considering the relevant constraints. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.reasoning.core.reasoner Class Description AttributeException A specific exception which may occur when assigning values to attributes.AttributeValues Stores attributes and their assigned values as an additional information to be considered while reasoning.ConstraintList Implements a constraint list.ConstraintList.IModificationListener A listener to be informed if the underlying list changes.ConstraintList.Node The node type in a linked constraint base.EvaluationResult A specific reasoning result for evaluations of presence conditions.EvaluationResult.ConstraintEvaluationResult Denotes the possible results of a constraint evaluation.EvaluationResult.EvaluationPair Defines a pair of a constraint and its evaluation result.FileUpgrader An upgrader for file input locations.GeneralMeasures General reasoner measures.GeneralReasonerCapabilities Defines general reasoner capabilities.IMeasurementKey Base type for measurement keys.IReasoner General interface for reasoner, which can be registered to the ReasonerRegistry.IReasonerInterceptor An initial reasoner interceptor to be informed about the reasoning process in detail.IReasonerMessage Defines a message for internally sending signals among reasoners.IReasonerMessage.IType Defines the type of message types.IReasonerMessage.Type Defines basic message types.IUpgrader Defines the interface to an installation upgrade mechanism.Message Part of theReasoningResultclass, expressing on error/warning of a completeReasoningResult.Message.SuggestionType Defines supported suggestion types.ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners.ReasonerConfiguration.IAdditionalInformationLogger Describes an information logger.ReasonerDescriptor Represents descriptive information about a reasoner.ReasoningOperation Specifies which kind of reasoning should be performed by the reasoner.ReasoningResult Result of (one) reasoning step.ValueCreationResult Denotes the result of creating a value of an IVML variable through the reasoner considering the relevant constraints. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.reasoning.sseReasoner Class Description ConstraintBase Implements the constraint base, a combination of linked list and map in order to quickly store, retrieve and delete constraints to be evaluated.ConstraintList Implements a constraint list.EvaluationResult A specific reasoning result for evaluations of presence conditions.IMeasurementKey Base type for measurement keys.IReasoner General interface for reasoner, which can be registered to the ReasonerRegistry.IReasonerInterceptor An initial reasoner interceptor to be informed about the reasoning process in detail.IReasonerMessage Defines a message for internally sending signals among reasoners.Message Part of theReasoningResultclass, expressing on error/warning of a completeReasoningResult.Message.SuggestionType Defines supported suggestion types.ReasonerConfiguration Describes the configuration to be passed via theReasonerFrontendto the individual reasoners.ReasonerDescriptor Represents descriptive information about a reasoner.ReasoningResult Result of (one) reasoning step.ValueCreationResult Denotes the result of creating a value of an IVML variable through the reasoner considering the relevant constraints. -
Classes in net.ssehub.easy.reasoning.core.reasoner used by net.ssehub.easy.reasoning.sseReasoner.model Class Description ConstraintList Implements a constraint list.