pivot_term

res2term* res2_pair::pivot_term

Definition at line 54 of file res-a0-pair.hpp.

Referenced by res2_comp::handle_pair(), res2_comp::reduce2(), res2_comp::reduce_by_level(), and res2_comp::reduce_heap_by_level().