Searched refs:OwnedSolver (Results 1 – 2 of 2) sorted by relevance
228 DataflowAnalysisContext(Solver &S, std::unique_ptr<Solver> &&OwnedSolver,255 std::unique_ptr<Solver> OwnedSolver; variable
342 Solver &S, std::unique_ptr<Solver> &&OwnedSolver, Options Opts) in DataflowAnalysisContext() argument343 : S(S), OwnedSolver(std::move(OwnedSolver)), A(std::make_unique<Arena>()), in DataflowAnalysisContext()