Ejemplo n.º 1
0
 def _warn_for_active_logical_statement(
         self, logical_statment, disjunct, infodict, bigMargs, suffix_list):
     _warn_for_active_logical_constraint(logical_statment, disjunct, NAME_BUFFER)
Ejemplo n.º 2
0
 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)