Searched refs:_arrayEnumDecls (Results 1 – 2 of 2) sorted by relevance
149 std::vector<std::vector<unsigned int> > _arrayEnumDecls; member in MiniZinc::EnvI
962 ret = static_cast<unsigned int>(_arrayEnumDecls.size()); in registerArrayEnum()963 _arrayEnumDecls.push_back(arrayEnum); in registerArrayEnum()971 assert(i > 0 && i <= _arrayEnumDecls.size()); in getArrayEnum()972 return _arrayEnumDecls[i - 1]; in getArrayEnum()