Searched refs:setIsFullyTraversed (Results 1 – 1 of 1) sorted by relevance
85 void setIsFullyTraversed(bool V) { IsFullyTraversed = V; } in setIsFullyTraversed() function144 PossibleLeaves.back().setIsFullyTraversed(IsFullyTraversed); in addPossibleLeaf()