Searched refs:ResultPerm (Results 1 – 1 of 1) sorted by relevance
642 std::vector<unsigned> ResultPerm; variable674 ResultPerm.resize(NumResults); in TreePatternNode()675 std::iota(ResultPerm.begin(), ResultPerm.end(), 0); in TreePatternNode()680 ResultPerm.resize(NumResults); in TreePatternNode()681 std::iota(ResultPerm.begin(), ResultPerm.end(), 0); in TreePatternNode()722 unsigned getNumResults() const { return ResultPerm.size(); } in getNumResults()723 unsigned getResultIndex(unsigned ResNo) const { return ResultPerm[ResNo]; } in getResultIndex()724 void setResultIndex(unsigned ResNo, unsigned RI) { ResultPerm[ResNo] = RI; } in setResultIndex()