Searched defs:goalOrder (Results 1 – 8 of 8) sorted by relevance
177 goalOrder = Just goalOrder' function183 goalOrder' = preferGoalsFromConflictSet cs <> fromMaybe mempty (goalOrder sc) function
176 goalOrder = Just goalOrder' function182 goalOrder' = preferGoalsFromConflictSet cs <> fromMaybe mempty (goalOrder sc) function
88 goalOrder order test = test { testGoalOrder = Just order } function
86 goalOrder order test = test { testGoalOrder = Just order } function
71 goalOrder :: Maybe (Variable QPN -> Variable QPN -> Ordering), function
360 goalOrder = variableOrder `on` (varToVariable . goalToVar) function
74 goalOrder :: Maybe (Variable QPN -> Variable QPN -> Ordering), function
358 goalOrder = variableOrder `on` (varToVariable . goalToVar) function