(self, item)
Enforces that argument 'item' cannot be a FunctionType.

        Raises TypeError.
Enforces that argument 'item' cannot be a FunctionType.
Enforces that argument item cannot be a FunctionType .
def _assert_no_function_type(self, item):
        """Enforces that argument 'item' cannot be a FunctionType.

        Raises TypeError.
        """
        if item.is_symbol() and item.symbol_type().is_function_type():
            raise PysmtTypeError("Cannot call get_value() on a FunctionType")
def _assert_no_function_type ( self , item ) : if item . is_symbol ( ) and item . symbol_type ( ) . is_function_type ( ) : raise PysmtTypeError ( "Cannot call get_value() on a FunctionType" )