Searched refs:Choice_Node_High_Bound (Results 1 – 9 of 9) sorted by relevance
50 Choice_Node_High_Bound : constant := 099_999_999; constant54 range Choice_Node_Low_Bound .. Choice_Node_High_Bound;
53 Choice_Node_High_Bound : constant := 099_999_999; constant57 range Choice_Node_Low_Bound .. Choice_Node_High_Bound;