Exemplo n.º 1
0
        internal int GetVisitedCount(ProgramPoint programPoint)
        {
            if (!ProgramPointVisitCounts.TryGetValue(programPoint, out var value))
            {
                value = 0;
            }

            return(value);
        }
Exemplo n.º 2
0
        internal ProgramState AddVisit(ProgramPoint visitedProgramPoint)
        {
            var visitCount = GetVisitedCount(visitedProgramPoint);

            return(new ProgramState(
                       Values,
                       Constraints,
                       ProgramPointVisitCounts.SetItem(visitedProgramPoint, visitCount + 1),
                       ExpressionStack,
                       Relationships));
        }