Public Member Functions | |
def | __init__ |
def | __del__ (self) |
def | add_sort (self, sort) |
def | add_decl (self, decl) |
def | from_string (self, s) |
Data Fields | |
ctx | |
pctx | |
def __init__ | ( | self, | |
ctx = None |
|||
) |
def __del__ | ( | self | ) |
def add_decl | ( | self, | |
decl | |||
) |
def add_sort | ( | self, | |
sort | |||
) |
def from_string | ( | self, | |
s | |||
) |
Definition at line 9358 of file z3py.py.
ctx |
Definition at line 9343 of file z3py.py.
Referenced by ParserContext.from_string().
pctx |
Definition at line 9344 of file z3py.py.
Referenced by ParserContext.__del__(), ParserContext.add_decl(), ParserContext.add_sort(), and ParserContext.from_string().