{
TAO_Binary_Constraint::visit_greater_than,
TAO_Binary_Constraint::visit_greater_than_equal,
TAO_Binary_Constraint::visit_less_than,
TAO_Binary_Constraint::visit_less_than_equal,
TAO_Binary_Constraint::visit_equal,
TAO_Binary_Constraint::visit_not_equal,
0,
TAO_Binary_Constraint::visit_and,
TAO_Binary_Constraint::visit_or,
0,
TAO_Binary_Constraint::visit_in,
TAO_Binary_Constraint::visit_twiddle,
0,
TAO_Binary_Constraint::visit_add,
TAO_Binary_Constraint::visit_sub,
TAO_Binary_Constraint::visit_mult,
TAO_Binary_Constraint::visit_div
}