Searched refs:ArrayOfObjectives (Results 1 – 1 of 1) sorted by relevance
24 using ArrayOfObjectives = std::vector<Objective>; typedef in MiniZinc::MultipleObjectivesTemplate25 const ArrayOfObjectives& getObjectives() const { return _objs; } in getObjectives()30 ArrayOfObjectives _objs;