Searched refs:revrbase (Results 1 – 1 of 1) sorted by relevance
230 BacktrackingRBase revrbase(&p->full_search_memory_backtracker); in buildRBase() local249 …info_out(1, "RBase Level " << revrbase.size()+1 << " : " << p->p_stack.val(cell_start) << ", loc… in buildRBase()252 revrbase.addBranch(branch_cell, p->p_stack.val(cell_start)); in buildRBase()260 RBase* rb = revrbase.fixRBase(&p->p_stack, p->tracer_generator.getTrace()); in buildRBase()