Searched refs:ExampleVar (Results 1 – 8 of 8) sorted by relevance
85 goalOrder :: [ExampleVar] -> SolverTest -> SolverTest118 , testGoalOrder :: Maybe [ExampleVar]256 sortGoals :: [ExampleVar]266 toVariable :: ExampleVar -> Variable P.QPN
87 goalOrder :: [ExampleVar] -> SolverTest -> SolverTest120 , testGoalOrder :: Maybe [ExampleVar]258 sortGoals :: [ExampleVar]268 toVariable :: ExampleVar -> Variable P.QPN
63 orderedFlags :: [ExampleVar]100 goals :: [ExampleVar]
922 goals :: [ExampleVar]1215 goals :: [ExampleVar]1288 goals :: [ExampleVar]1427 goals :: [ExampleVar]1469 goals :: [ExampleVar]1546 goals :: [ExampleVar]1580 goals :: [ExampleVar]1692 goals :: [ExampleVar]1740 goals :: [ExampleVar]1764 goals :: [ExampleVar][all …]
978 goals :: [ExampleVar]1271 goals :: [ExampleVar]1344 goals :: [ExampleVar]1483 goals :: [ExampleVar]1525 goals :: [ExampleVar]1602 goals :: [ExampleVar]1636 goals :: [ExampleVar]1748 goals :: [ExampleVar]1796 goals :: [ExampleVar]1820 goals :: [ExampleVar][all …]
22 , ExampleVar(..)223 data ExampleVar = type
23 , ExampleVar(..)278 data ExampleVar = type