Searched defs:marked_type (Results 1 – 1 of 1) sorted by relevance
82 using marked_type = std::unordered_set<PetscObjectId>; typedef in CxxData84 using marked_type = std::vector<PetscObjectId>; typedef in CxxData