def _warn_for_active_disjunct(self, innerdisjunct, outerdisjunct, var_substitute_map, zero_substitute_map): _warn_for_active_disjunct(innerdisjunct, outerdisjunct, NAME_BUFFER)
def _warn_for_active_disjunct(self, innerdisjunct, outerdisjunct, bigMargs, arg_list, suffix_list): _warn_for_active_disjunct(innerdisjunct, outerdisjunct, NAME_BUFFER)
def _warn_for_active_disjunct(self, disjunct, parent_disjunct, transformed_parent_disjunct, transBlock, partition): _warn_for_active_disjunct(disjunct, parent_disjunct, NAME_BUFFER)