|
RULE consistent_uncertainty FOR (global_uncertainty_assigned_context, qualified_representation_item, uncertainty_assigned_representation); WHERE wr1: SIZEOF ( QUERY ( guac <* global_uncertainty_assigned_context | SIZEOF ( QUERY ( u1 <* guac . uncertainty | SIZEOF ( QUERY ( u2 <* guac . uncertainty | u2 . name = u1 . name ) ) > 1 ) ) > 0 ) ) = 0 ; wr2: SIZEOF ( QUERY ( uar <* uncertainty_assigned_representation | SIZEOF ( QUERY ( u1 <* uar . uncertainty | SIZEOF ( QUERY ( u2 <* uar . uncertainty | u2 . name = u1 . name ) ) > 1 ) ) > 0 ) ) = 0 ; wr3: SIZEOF ( QUERY ( qri <* qualified_representation_item | SIZEOF ( QUERY ( u1 <* qri . qualifiers | ( 'representation_with_uncertainty_mim' + '.uncertainty_qualifier' IN TYPEOF ( u1 ) ) AND ( SIZEOF ( QUERY ( u2 <* qri . qualifiers | ( 'representation_with_uncertainty_mim' + '.uncertainty_qualifier' IN TYPEOF ( u2 ) ) AND ( u2 \ uncertainty_qualifier . measure_name = u1 \ uncertainty_qualifier . measure_name ) ) ) > 1 ) ) ) > 0 ) ) = 0 ; END_RULE; -- consistent_uncertainty |
|
public class RConsistent_uncertainty public int rWr3(SdaiContext _context) public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |