Function create_new_context

Core/SoarKernel/src/decide.cpp:2881–2977

------------------------------------------------------------------ */

void create_new_context(agent* thisAgent, Symbol* attr_of_impasse, byte impasse_type)
{
    Symbol* id;
    
    if (thisAgent->bottom_goal)
    {
        /* Creating a sub-goal (or substate) */
        id = create_new_impasse(thisAgent, true, thisAgent->bottom_goal,
                                attr_of_impasse, impasse_type,
                                static_cast<goal_stack_level>(thisAgent->bottom_goal->id->level + 1));
        id->id->higher_goal = thisAgent->bottom_goal;
        thisAgent->bottom_goal->id->lower_goal = id;
        thisAgent->bottom_goal = id;
        add_impasse_wme(thisAgent, id, thisAgent->quiescence_symbol,
                        thisAgent->t_symbol, NIL);
        if ((NO_CHANGE_IMPASSE_TYPE == impasse_type) &&
                (thisAgent->sysparams[MAX_GOAL_DEPTH] < thisAgent->bottom_goal->id->level))
        {
            // appear to be SNC'ing deep in goalstack, so interrupt and warn user
            // KJC note: we actually halt, because there is no interrupt function in SoarKernel
            // in the gSKI Agent code, if system_halted, MAX_GOAL_DEPTH is checked and if exceeded
            // then the interrupt is generated and system_halted is set to false so the user can recover.
            print(thisAgent, "\nGoal stack depth exceeded %d on a no-change impasse.\n", thisAgent->sysparams[MAX_GOAL_DEPTH]);
            print(thisAgent, "Soar appears to be in an infinite loop.  \nContinuing to subgoal may cause Soar to \nexceed the program stack of your system.\n");
            xml_generate_warning(thisAgent, "\nGoal stack depth exceeded on a no-change impasse.\n");
            xml_generate_warning(thisAgent, "Soar appears to be in an infinite loop.  \nContinuing to subgoal may cause Soar to \nexceed the program stack of your system.\n");
            thisAgent->stop_soar = true;
            thisAgent->system_halted = true;
            thisAgent->reason_for_stopping = "Max Goal Depth exceeded.";
        }
    }
    else
    {
        /* Creating the top state */
        id = create_new_impasse(thisAgent, true, thisAgent->nil_symbol,
                                NIL, NONE_IMPASSE_TYPE,
                                TOP_GOAL_LEVEL);
        thisAgent->top_goal = id;
        thisAgent->bottom_goal = id;
        thisAgent->top_state = thisAgent->top_goal;
        id->id->higher_goal = NIL;
        id->id->lower_goal = NIL;
    }
    
    id->id->isa_goal = true;
    id->id->operator_slot = make_slot(thisAgent, id, thisAgent->operator_symbol);
    id->id->allow_bottom_up_chunks = true;
    
    allocate_with_pool(thisAgent, &(thisAgent->rl_info_pool), &(id->id->rl_info));
    id->id->rl_info->previous_q = 0;
    id->id->rl_info->reward = 0;
    id->id->rl_info->gap_age = 0;
    id->id->rl_info->hrl_age = 0;
    allocate_with_pool(thisAgent, &(thisAgent->rl_et_pool), &(id->id->rl_info->eligibility_traces));
#ifdef USE_MEM_POOL_ALLOCATORS
    id->id->rl_info->eligibility_traces = new(id->id->rl_info->eligibility_traces) rl_et_map(std::less< production* >(), soar_module::soar_memory_pool_allocator< std::pair< production*, double > >(thisAgent));
#else
    id->id->rl_info->eligibility_traces = new(id->id->rl_info->eligibility_traces) rl_et_map();