|
RULE compatible_dimension FOR (cartesian_point, direction, representation_context, geometric_representation_context); WHERE wr1: SIZEOF ( QUERY ( x <* cartesian_point | SIZEOF ( QUERY ( y <* geometric_representation_context | item_in_context ( x , y ) AND ( HIINDEX ( x . coordinates ) <> y . coordinate_space_dimension ) ) ) > 0 ) ) = 0 ; wr2: SIZEOF ( QUERY ( x <* direction | SIZEOF ( QUERY ( y <* geometric_representation_context | item_in_context ( x , y ) AND ( HIINDEX ( x . direction_ratios ) <> y . coordinate_space_dimension ) ) ) > 0 ) ) = 0 ; END_RULE; -- compatible_dimension |
|
public class RCompatible_dimension public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |