(self, formula, args)
return res
Returns the list of elements from the Shannon expansion.
Returns the list of elements from the Shannon expansion.
Returns the list of elements from the Shannon expansion .
def _expand(self, formula, args):
        """Returns the list of elements from the Shannon expansion."""
        qvars = formula.quantifier_vars()
        self._assert_vars_boolean(qvars)
        res = []
        f = args[0]
        for subs in all_assignments(qvars, self.env):
            res.append(f.substitute(subs))
        return res
def _expand ( self , formula , args ) : qvars = formula . quantifier_vars ( ) self . _assert_vars_boolean ( qvars ) res = [ ] f = args [ 0 ] for subs in all_assignments ( qvars , self . env ) : res . append ( f . substitute ( subs ) ) return res