ComparisonConstraint : public class
Created: |
2012-06-27 16:11:05 |
Modified: |
2012-07-09 10:46:50 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{3F6FF591-E47D-48cd-A68D-6E7E0B663014} |
Appears In: |
TimingConstraints2 |
<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>
- Attributes
- Associations From
- Other Links