method get_operator_tbl () = operator_tbl