Lines Matching defs:currentResult
661 /// Initializes the currentResult to the TOP state so that if can be met with
667 currentResult = meet(otherState, currentResult);
670 BDVState getResult() const { return currentResult; }
673 BDVState currentResult;
