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