(self, formula, custom_only=False)
return exp_types
Returns the types appearing in the formula.

        custom_only: filter the result by excluding base SMT-LIB types.
Returns the types appearing in the formula.
Returns the types appearing in the formula .
def get_types(self, formula, custom_only=False):
        """Returns the types appearing in the formula.

        custom_only: filter the result by excluding base SMT-LIB types.
        """
        types = self.walk(formula)
        # types is a frozen set
        # exp_types is a list
        exp_types = self.expand_types(types)
        assert len(types) <= len(exp_types)
        # Base types filtering
        if custom_only:
            exp_types = [x for x in exp_types
                         if not x.is_bool_type() and
                         not x.is_int_type() and
                         not x.is_real_type() and
                         not x.is_bv_type() and
                         not x.is_array_type() and
                         not x.is_string_type()
            ]
        return exp_types
def get_types ( self , formula , custom_only = False ) : types = self . walk ( formula ) # types is a frozen set # exp_types is a list exp_types = self . expand_types ( types ) assert len ( types ) <= len ( exp_types ) # Base types filtering if custom_only : exp_types = [ x for x in exp_types if not x . is_bool_type ( ) and not x . is_int_type ( ) and not x . is_real_type ( ) and not x . is_bv_type ( ) and not x . is_array_type ( ) and not x . is_string_type ( ) ] return exp_types