def create_eq(lh_op, rh_op=None, constr_id=None):
 if (constr_id is None):
  constr_id = get_id()
 expr = get_constr_expr(lh_op, rh_op)
 return LinEqConstr(expr, constr_id, lh_op.size)

def create_eq ( lh_op , rh_op = None , constr_id = None ) : if ( constr_id is None ) : constr_id = get_id ( ) expr = get_constr_expr ( lh_op , rh_op ) return LinEqConstr ( expr , constr_id , lh_op . size )
creates an internal equality constraint .