def _warn_for_active_logical_statement( self, logical_statment, disjunct, infodict, bigMargs, suffix_list): _warn_for_active_logical_constraint(logical_statment, disjunct, NAME_BUFFER)
def _warn_for_active_logical_statement(self, logical_statment, disjunct, var_substitute_map, zero_substitute_map): _warn_for_active_logical_constraint(logical_statment, disjunct, NAME_BUFFER)