ComparisonConstraint : public class
Created: 2012-06-27 16:11:05
Modified: 2012-07-09 10:46:50
Project:
Advanced:
<p>A ComparisonConstraint states that a certain ordering relation must exist between two timing expressions. <br/></p><p><br/></p><p>This constraint is special in that it does not reference any events. Its main purpose is to express relations between arithmetic variables used in other constraint; for example, stating that the sum of the variables denoting segment delays in a time-budgeting scenario must be less than the maximum end-to-end deadline allowed.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a ComparisonConstraint c if and only if<br/></p><p>c.leftOperand and c.rightOperand are related according to the ordering relation given by c.operator.<br/></p>
Attribute Details
public ComparisonKind
  operator
 
Element Source Role Target Role Details
TimingExpression
Class  
Name: rightOperand
 
Name:  
 
 
TimingExpression
Class  
Name: leftOperand
 
Name:  
 
 
Object Type Connection Notes
TimingExpression Class Strong  
TimingExpression Class Strong