Arrays. More...
Public Member Functions | |
domain (self) | |
domain_n (self, i) | |
range (self) | |
Public Member Functions inherited from SortRef | |
as_ast (self) | |
get_id (self) | |
kind (self) | |
subsort (self, other) | |
cast (self, val) | |
name (self) | |
__eq__ (self, other) | |
__ne__ (self, other) | |
__hash__ (self) | |
Public Member Functions inherited from AstRef | |
__init__ (self, ast, ctx=None) | |
__del__ (self) | |
__deepcopy__ (self, memo={}) | |
__str__ (self) | |
__repr__ (self) | |
__eq__ (self, other) | |
__hash__ (self) | |
__nonzero__ (self) | |
__bool__ (self) | |
sexpr (self) | |
ctx_ref (self) | |
eq (self, other) | |
translate (self, target) | |
__copy__ (self) | |
hash (self) | |
py_value (self) | |
Public Member Functions inherited from Z3PPObject | |
use_pp (self) |
Additional Inherited Members | |
Data Fields inherited from AstRef | |
ast = ast | |
ctx = _get_ctx(ctx) | |
Protected Member Functions inherited from Z3PPObject | |
_repr_html_ (self) |
domain | ( | self | ) |
Return the domain of the array sort `self`. >>> A = ArraySort(IntSort(), BoolSort()) >>> A.domain() Int
Definition at line 4614 of file z3py.py.
domain_n | ( | self, | |
i ) |
Return the domain of the array sort `self`.
Definition at line 4623 of file z3py.py.
range | ( | self | ) |
Return the range of the array sort `self`. >>> A = ArraySort(IntSort(), BoolSort()) >>> A.range() Bool
Definition at line 4628 of file z3py.py.