Searched refs:ResultPerm (Results 1 – 1 of 1) sorted by relevance
633 std::vector<unsigned> ResultPerm; variable665 ResultPerm.resize(NumResults); in TreePatternNode()666 std::iota(ResultPerm.begin(), ResultPerm.end(), 0); in TreePatternNode()671 ResultPerm.resize(NumResults); in TreePatternNode()672 std::iota(ResultPerm.begin(), ResultPerm.end(), 0); in TreePatternNode()713 unsigned getNumResults() const { return ResultPerm.size(); } in getNumResults()714 unsigned getResultIndex(unsigned ResNo) const { return ResultPerm[ResNo]; } in getResultIndex()715 void setResultIndex(unsigned ResNo, unsigned RI) { ResultPerm[ResNo] = RI; } in setResultIndex()