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