pretty_print_case
INSTANCE pretty_print_case#1;
description = "A case for pretty-printing an adder HLC";
problem = adder#3;
solution = pretty_print#1;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-adder.filc";
END_INSTANCE;
INSTANCE pretty_print_case#2;
description = "A case for pretty-printing a array type";
problem = array_type#1;
solution = pretty_print#2;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-array_type.filc";
END_INSTANCE;
INSTANCE pretty_print_case#3;
description = "A case for pretty-printing a bag type";
problem = bag_type#10;
solution = pretty_print#3;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-bag_type.filc";
END_INSTANCE;
INSTANCE pretty_print_case#4;
description = "A case for pretty-printing a bound HLC";
problem = bound#7;
solution = pretty_print#4;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-bound.filc";
END_INSTANCE;
INSTANCE pretty_print_case#5;
description = "A case for pretty-printing an at_most_one HLC";
problem = choice_set#5;
solution = pretty_print#5;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-choice_set.filc";
END_INSTANCE;
INSTANCE pretty_print_case#6;
description = "A case for pretty-printing the name of a derived attribute";
problem = derived_attribute#2;
solution = pretty_print#6;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-derived_attribute.filc";
END_INSTANCE;
INSTANCE pretty_print_case#7;
description = "A case for pretty-printing a domain_rules_hlc HLC";
problem = domain_rules_hlc#3;
solution = pretty_print#7;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-domain_rules_hlc.filc";
END_INSTANCE;
INSTANCE pretty_print_case#8;
description = "A case for pretty-printing the name of an explicit attribute";
problem = explicit_attribute#289;
solution = pretty_print#8;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-explicit_attribute.filc";
END_INSTANCE;
INSTANCE pretty_print_case#9;
description = "A case for pretty-printing an expression";
problem = expression#9;
solution = pretty_print#9;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-expression.filc";
END_INSTANCE;
INSTANCE pretty_print_case#10;
description = "A case for pretty-printing a for_all HLC";
problem = for_all#2;
solution = pretty_print#10;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-for_all.filc";
END_INSTANCE;
INSTANCE pretty_print_case#11;
description = "A case for pretty-printing an indeterminate bound";
problem = built_in_constant#93;
solution = pretty_print#11;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-indeterminate.filc";
END_INSTANCE;
INSTANCE pretty_print_case#12;
description = "A case for pretty-printing an integer literal";
problem = integer_literal#96;
solution = pretty_print#12;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-integer_literal.filc";
END_INSTANCE;
INSTANCE pretty_print_case#13;
description = "A case for pretty-printing the name of an inverse attribute";
problem = inverse_attribute#24;
solution = pretty_print#13;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-inverse_attribute.filc";
END_INSTANCE;
INSTANCE pretty_print_case#14;
description = "A case for pretty-printing a list type";
problem = list_type#20;
solution = pretty_print#14;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-list_type.filc";
END_INSTANCE;
INSTANCE pretty_print_case#15;
description = "A case for pretty-printing a many_to_many_relationship HLC";
problem = many_to_many_relationship#2;
solution = pretty_print#15;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-many_to_many.filc";
END_INSTANCE;
INSTANCE pretty_print_case#16;
description = "A case for pretty-printing a minus";
problem = minus#2;
solution = pretty_print#16;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-minus.filc";
END_INSTANCE;
INSTANCE pretty_print_case#17;
description = "A case for pretty-printing a multiplier HLC";
problem = multiplier#3;
solution = pretty_print#17;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-multiplier.filc";
END_INSTANCE;
INSTANCE pretty_print_case#18;
description = "A case for pretty-printing the name of an entity or defined type";
problem = named_type#1;
solution = pretty_print#18;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-named_type.filc";
END_INSTANCE;
INSTANCE pretty_print_case#19;
description = "A case for pretty-printing a non_null HLC";
problem = non_null#3;
solution = pretty_print#19;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-non_null.filc";
END_INSTANCE;
INSTANCE pretty_print_case#20;
description = "A case for pretty-printing a one_to_many_relationship HLC";
problem = one_to_many_relationship#3;
solution = pretty_print#20;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-one_to_many.filc";
END_INSTANCE;
INSTANCE pretty_print_case#21;
description = "A case for pretty-printing a one_to_one_relationship HLC";
problem = one_to_one_relationship#2;
solution = pretty_print#21;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-one_to_one.filc";
END_INSTANCE;
INSTANCE pretty_print_case#22;
description = "A case for pretty-printing the name of a query variable";
problem = query_variable#1;
solution = pretty_print#22;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-query_variable.filc";
END_INSTANCE;
INSTANCE pretty_print_case#23;
description = "A case for pretty-printing a range HLC";
problem = range#3;
solution = pretty_print#23;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-range.filc";
END_INSTANCE;
INSTANCE pretty_print_case#24;
description = "A case for pretty-printing a real literal";
problem = real_literal#1;
solution = pretty_print#24;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-real_literal.filc";
END_INSTANCE;
INSTANCE pretty_print_case#25;
description = "A case for pretty-printing a reciprocal";
problem = reciprocal#2;
solution = pretty_print#25;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-reciprocal.filc";
END_INSTANCE;
INSTANCE pretty_print_case#26;
description = "A case for pretty-printing the name of a schema";
problem = schema_frame#3;
solution = pretty_print#26;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-schema.filc";
END_INSTANCE;
INSTANCE pretty_print_case#27;
description = "A case for pretty-printing a set type";
problem = set_type#69;
solution = pretty_print#27;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-set_type.filc";
END_INSTANCE;
INSTANCE pretty_print_case#28;
description = "A case for pretty-printing a there_exists HLC";
problem = there_exists#2;
solution = pretty_print#28;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-there_exists.filc";
END_INSTANCE;
INSTANCE pretty_print_case#29;
description = "A case for pretty-printing a type_hlc HLC";
problem = type_hlc#4;
solution = pretty_print#29;
language = express;
filename = "CASES/EXPRESS/PRETTY_PRINT/pp-type_hlc.filc";
END_INSTANCE;