Searched refs:polIndex (Results 1 – 1 of 1) sorted by last modified time
403 int polIndex = hasPol ? ( pol ? 1 : -1 ) : 0; in evaluateTermExp() local404 std::map< Node, Node >::iterator itv = visited[polIndex].find( n ); in evaluateTermExp()405 if( itv!=visited[polIndex].end() ){ in evaluateTermExp()408 visited[polIndex][n] = n; in evaluateTermExp()421 Trace("qip-eval") << "evaluate term : " << n << " [" << polIndex << "]" << std::endl; in evaluateTermExp()569 …Trace("qip-eval") << "evaluated term : " << n << " [" << polIndex << "], got : " << ret << ", exp … in evaluateTermExp()570 visited[polIndex][n] = ret; in evaluateTermExp()