FPRMRef Class Reference

Inheritance diagram for FPRMRef:

Public Member Functions
def	as_string
Public Member Functions inherited from ExprRef
def	as_ast
def	get_id
def	sort
def	sort_kind
def	__eq__
def	__ne__
def	decl
def	num_args
def	arg
def	children
Public Member Functions inherited from AstRef
def	__init__
def	__del__
def	__str__
def	__repr__
def	sexpr
def	as_ast
def	get_id
def	ctx_ref
def	eq
def	translate
def	hash
Public Member Functions inherited from Z3PPObject
def	use_pp

Additional Inherited Members
Data Fields inherited from AstRef
	ast
	ctx

Detailed Description

Floating-point rounding mode expressions

Definition at line 7948 of file z3py.py.

Member Function Documentation

def as_string

(

self

)

Return a Z3 floating point expression as a Python string.

Definition at line 7951 of file z3py.py.

    def as_string(self):
        """Return a Z3 floating point expression as a Python string."""
        return Z3_ast_to_string(self.ctx_ref(), self.as_ast())