Searched defs:Default_Strategy (Results 1 – 1 of 1) sorted by relevance
122 Default_Strategy : constant Strategy_Type; constant310 Default_Strategy : constant Strategy_Type := 0; constant