SCHEMA Partitioning_Algorithms;
	USE FROM Basic_Types;
	USE FROM Framework_Config;
	USE FROM Objects;

	TYPE Processor_Sort_Type = ENUMERATION
		OF ( Processor_Index, Processor_Utilization );
	END_TYPE;

	TYPE Task_Sort_Type = ENUMERATION
		OF ( Task_Period, Task_Deadline );
	END_TYPE;

	TYPE Feasibility_Test_Type = ENUMERATION
		OF ( Condition_IP_Test, Utilization_Test );
	END_TYPE;

	TYPE Loop_Operation_Type = ENUMERATION
		OF ( RMFF_loop, RMBF_loop, RMNF_loop );
	END_TYPE;

	TYPE Partitioning_Algorithms_Range = Range;
	END_TYPE;

	TYPE Partitioning_Algorithms_Table = LIST OF Partitioning_Algorithm;
	END_TYPE;

	ENTITY Partitioning_Algorithms_Table_Package;
		table_range : Partitioning_Algorithms_Range;
		table : Partitioning_Algorithms_Table;
	END_ENTITY;

	ENTITY Partitioning_Algorithm;
		name : STRING;
		task_sorting : Task_Sort_Type;
		looping : Loop_Operation_Type;
		processor_sorting : Processor_Sort_Type;
		feasibility_test : Feasibility_Test_Type;
	END_ENTITY;
END_SCHEMA;