next

auto_reduce_node* auto_reduce_node::next

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

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