BoolRef Class Reference

Inheritance diagram for BoolRef:

Public Member Functions
def	sort
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

All Boolean expressions are instances of this class.

Definition at line 1241 of file z3py.py.

Member Function Documentation

def sort

(

self

)

Definition at line 1243 of file z3py.py.

    def sort(self):
        return BoolSortRef(Z3_get_sort(self.ctx_ref(), self.as_ast()), self.ctx)