| Package | Description |
|---|---|
| net.ssehub.easy.reasoning.sseReasoner |
Package contains the EASy-Producer reasoner implementation classes.
|
| net.ssehub.easy.reasoning.sseReasoner.functions |
Package contains custom functions for IVML.
|
| Modifier and Type | Method and Description |
|---|---|
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree |
Resolver.OtherConstraintsProcessor.process(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
AbstractConstraintProcessor.ExpressionType type,
java.lang.String slot,
net.ssehub.easy.varModel.model.IModelElement parent) |
| Modifier and Type | Method and Description |
|---|---|
static AbstractConstraintProcessor.ExpressionType |
AbstractConstraintProcessor.ExpressionType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static AbstractConstraintProcessor.ExpressionType[] |
AbstractConstraintProcessor.ExpressionType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree |
AbstractConstraintProcessor.process(net.ssehub.easy.varModel.model.Constraint constraint,
AbstractConstraintProcessor.ExpressionType type)
Processes a constraint (taking over the parent of
constraint). |
abstract net.ssehub.easy.varModel.cst.ConstraintSyntaxTree |
AbstractConstraintProcessor.process(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
AbstractConstraintProcessor.ExpressionType type,
java.lang.String slot,
net.ssehub.easy.varModel.model.IModelElement parent)
Processes a constraint syntax tree.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.