SCHEMA test; ENTITY person; name : STRING; age : INTEGER; WHERE age >= 0; END_ENTITY; END_SCHEMA;
SCHEMA test; ENTITY person; name : STRING; age : INTEGER; WHERE 0 <= age; END_ENTITY; END_SCHEMA;
Mode | E | -T | -U | -S | -H | -R | M | X |
HLCs extracted from first model | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
HLCs extracted from second model | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
Comparisons | 37 | 37 | 37 | 46 | 37 | 37 | 37 | 37 |
HLC-comparisons | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
Correspondences | 8 | 8 | 8 | 7 | 8 | 8 | 8 | 8 |
HLC-correspondences | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
Differences | 1 | 1 | 1 | 3 | 1 | 1 | 1 | 1 |
Number of FC-thesaurus lookups | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Number of name-thesaurus lookups | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
The frames generated by the CCUS (and output as HTML-ised FIL files) follow - a file for each frame-class: