(self, boolean_switches)
return ops
[COMPATIBILITY]
        You may disable a collection of Boolean switches by doing:

        >>> state.options = state.options - {sim_options.SYMBOLIC}

        :param set boolean_switches:    A collection of Boolean switches to disable.
        :return:                        A new SimStateOptions instance.
        :rtype:                         SimStateOptions
[COMPATIBILITY]
        You may disable a collection of Boolean switches by doing:
[ COMPATIBILITY ] You may disable a collection of Boolean switches by doing :
def __sub__(self, boolean_switches):
        """
        [COMPATIBILITY]
        You may disable a collection of Boolean switches by doing:

        >>> state.options = state.options - {sim_options.SYMBOLIC}

        :param set boolean_switches:    A collection of Boolean switches to disable.
        :return:                        A new SimStateOptions instance.
        :rtype:                         SimStateOptions
        """

        ops = SimStateOptions(self)
        for name in boolean_switches:
            ops[name] = False
        return ops
def __sub__ ( self , boolean_switches ) : ops = SimStateOptions ( self ) for name in boolean_switches : ops [ name ] = False return ops