diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-25 15:56:37 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-25 15:56:37 +0100 |
commit | 478123d2febde02f39f6a673ffdbdf0c760aef3c (patch) | |
tree | 520b41e650bc666655016f2c5b5446e60bf1d3e4 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | |
parent | Do not throw exception for empty package names in application configuration f... (diff) | |
download | VIATRA-Generator-478123d2febde02f39f6a673ffdbdf0c760aef3c.tar.gz VIATRA-Generator-478123d2febde02f39f6a673ffdbdf0c760aef3c.tar.zst VIATRA-Generator-478123d2febde02f39f6a673ffdbdf0c760aef3c.zip |
Add reliability probability and mtff objectives
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext index 44ef8fd1..2b4a56a6 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | |||
@@ -101,8 +101,13 @@ enum OptimizationDirection: MINIMIZE='minimize' | MAXIMIZE='maximize'; | |||
101 | OptimizationEntry: direction=OptimizationDirection function=ObjectiveFunction; | 101 | OptimizationEntry: direction=OptimizationDirection function=ObjectiveFunction; |
102 | enum ComparisonOperator: LESS_EQUALS='<=' | GREATER_EQUALS='>='; | 102 | enum ComparisonOperator: LESS_EQUALS='<=' | GREATER_EQUALS='>='; |
103 | ThresholdEntry: function=ObjectiveFunction operator=ComparisonOperator threshold=REALLiteral; | 103 | ThresholdEntry: function=ObjectiveFunction operator=ComparisonOperator threshold=REALLiteral; |
104 | ObjectiveFunction: ReliabiltiyFunction; | 104 | ObjectiveFunction: ReliabilityObjectiveFunction; |
105 | ReliabiltiyFunction: 'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation = [cftLanguage::TransformationDefinition]; | 105 | ReliabilityObjectiveFunction: ReliabiltiyProbability | Mtff; |
106 | ReliabiltiyProbability: | ||
107 | 'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation = [cftLanguage::TransformationDefinition] | ||
108 | 'at' time=REALLiteral; | ||
109 | Mtff: | ||
110 | 'mtff' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation = [cftLanguage::TransformationDefinition]; | ||
106 | 111 | ||
107 | ObjectiveDeclaration: 'objectives' name = ID specification = ObjectiveSpecification; | 112 | ObjectiveDeclaration: 'objectives' name = ID specification = ObjectiveSpecification; |
108 | ObjectiveReference: referred = [ObjectiveDeclaration]; | 113 | ObjectiveReference: referred = [ObjectiveDeclaration]; |