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;