classDiagram
    class StateAnalyticsProperties{
        +int depth
        +int visitedAfterLastFork
        +int visitedBeforeLastFork
        +int stmtsSinceLastCovered
        +ExecutionState? parent
        +long executingTime
        +double reward
        +List~Double~ features
        -boolean isFork
        -boolean isVisitedNew
        -int successorDepth
        -int successorVisitedAfterLastFork
        -int successorVisitedBeforeLastFork
        -int successorStmtSinceLastCovered
        
        +updateIsVisitedNew()
        +updateIsFork()
    }
    ExecutionState o-- StateAnalyticsProperties

StateAnalyticsProperties maintains properties of ExecutionState, which don't need for symbolic execution, but need for JLearch.

• depth: Int - number of forks on the state's path excluded current state, if it is fork. In this case, fork is a state with more than one successor excluded implicit NPE branches.
• visitedAfterLastFork: Int - number of stmt, that was visited by states on this state's path after the last fork in first time.
• visitedBeforeLastFork: Int - number of stmt, that was visited by states on this state's path before the last fork in first time.
• stmtsSinceLastCovered: Int - number of states on this state's path after the last state that visited any stmt in first time.
• parent: ExecutionState? - parent of current state. If UtSettings.featureProcess == false, then it is always null, because we don't need this field in this case. If it is not null, then we can't delete state until all successors of this state will be deleted, which may cause memory issue.
• executingTime: Long - amount of time, during which this state was traversed.
• reward: Double? - calculated reward of this state
• features: List<Double> - list of extracted features for this state

Field with successor prefix is used for a constructor of successor properties.

• updateIsFork() - set isFork on true. This method is called when traversing of stmt produces more than one explicit state. Now it may be during the traversing of IfStmt, SwitchStmt, AssignStmt or InvokeStmt.
• updateIsCoveredNew() - set isVisitedNew on true, set stmtsSinceLastCovered on zero and increase visitedAfterLastFork on 1. This method is called in UtBotSymbolicEngine after new state s is polled and s.stmt was not visited yet.