Documentation
as_gecode_codegen :: Tree (FDWrapper CodegenSolver) a -> Tree CodegenSolver aSource
pfs :: Ord a => PriorityQueue a (a, b, c)Source
nb :: Int -> CNodeBoundedST s aSource
db :: Int -> CDepthBoundedST s aSource
bb :: NewBound s -> CBranchBoundST s aSource
fs :: CFirstSolutionST s aSource
it :: CIdentityCST s aSource
ld :: Int -> CLimitedDiscrepancyST s aSource