Strings, Sequences and Regular expressions. More...
Public Member Functions | |
def | is_string (self) |
def | basis (self) |
![]() | |
def | as_ast (self) |
def | get_id (self) |
def | kind (self) |
def | subsort (self, other) |
def | cast (self, val) |
def | name (self) |
def | __eq__ (self, other) |
def | __ne__ (self, other) |
def | __hash__ (self) |
![]() | |
def | __init__ (self, ast, ctx=None) |
def | __del__ (self) |
def | __deepcopy__ (self, memo={}) |
def | __str__ (self) |
def | __repr__ (self) |
def | __eq__ (self, other) |
def | __hash__ (self) |
def | __nonzero__ (self) |
def | __bool__ (self) |
def | sexpr (self) |
def | as_ast (self) |
def | get_id (self) |
def | ctx_ref (self) |
def | eq (self, other) |
def | translate (self, target) |
def | __copy__ (self) |
def | hash (self) |
![]() | |
def | use_pp (self) |
Additional Inherited Members | |
![]() | |
ast | |
ctx | |
![]() | |
def | _repr_html_ (self) |
Strings, Sequences and Regular expressions.
Sequence sort.
def basis | ( | self | ) |
def is_string | ( | self | ) |
Determine if sort is a string >>> s = StringSort() >>> s.is_string() True >>> s = SeqSort(IntSort()) >>> s.is_string() False
Definition at line 10728 of file z3py.py.