From 478123d2febde02f39f6a673ffdbdf0c760aef3c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 25 Mar 2019 15:56:37 +0100 Subject: Add reliability probability and mtff objectives --- .../inf/dslreasoner/application/ApplicationConfiguration.xtext | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext') 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'; OptimizationEntry: direction=OptimizationDirection function=ObjectiveFunction; enum ComparisonOperator: LESS_EQUALS='<=' | GREATER_EQUALS='>='; ThresholdEntry: function=ObjectiveFunction operator=ComparisonOperator threshold=REALLiteral; -ObjectiveFunction: ReliabiltiyFunction; -ReliabiltiyFunction: 'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation = [cftLanguage::TransformationDefinition]; +ObjectiveFunction: ReliabilityObjectiveFunction; +ReliabilityObjectiveFunction: ReliabiltiyProbability | Mtff; +ReliabiltiyProbability: + 'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation = [cftLanguage::TransformationDefinition] + 'at' time=REALLiteral; +Mtff: + 'mtff' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation = [cftLanguage::TransformationDefinition]; ObjectiveDeclaration: 'objectives' name = ID specification = ObjectiveSpecification; ObjectiveReference: referred = [ObjectiveDeclaration]; -- cgit v1.2.3-70-g09d2