Searched refs:ExPreference (Results 1 – 6 of 6) sorted by relevance
91 preferences :: [ExPreference] -> SolverTest -> SolverTest120 , testSoftConstraints :: [ExPreference]
93 preferences :: [ExPreference] -> SolverTest -> SolverTest122 , testSoftConstraints :: [ExPreference]
243 , testPreferences :: [ExPreference]406 arbitraryPreference :: [(PN, PV)] -> Gen ExPreference502 instance Arbitrary ExPreference where
242 , testPreferences :: [ExPreference]412 arbitraryPreference :: [(PN, PV)] -> Gen ExPreference507 instance Arbitrary ExPreference where
12 , ExPreference(..)208 data ExPreference = type668 -> [ExPreference]
13 , ExPreference(..)263 data ExPreference = type742 -> [ExPreference]