pivot

res2term* auto_reduce_node::pivot

Definition at line 92 of file res-a0.hpp.

Referenced by res2_comp::do_auto_reductions(), and res2_comp::reduce2().