Public Member Functions | |
def | __init__ |
def | __deepcopy__ |
def | __del__ (self) |
def | using_params (self, args, keys) |
def | add (self, solver) |
def | help (self) |
def | param_descrs (self) |
Data Fields | |
ctx | |
simplifier | |
Simplifiers act as pre-processing utilities for solvers. Build a custom simplifier and add it to a solver
def __init__ | ( | self, | |
simplifier, | |||
ctx = None |
|||
) |
Definition at line 8246 of file z3py.py.
def __del__ | ( | self | ) |
Definition at line 8270 of file z3py.py.
def __deepcopy__ | ( | self, | |
memo = {} |
|||
) |
Definition at line 8267 of file z3py.py.
def add | ( | self, | |
solver | |||
) |
Return a solver that applies the simplification pre-processing specified by the simplifier
Definition at line 8279 of file z3py.py.
def help | ( | self | ) |
Display a string containing a description of the available options for the `self` simplifier.
def param_descrs | ( | self | ) |
Return the parameter description set.
Definition at line 8287 of file z3py.py.
def using_params | ( | self, | |
args, | |||
keys | |||
) |
Return a simplifier that uses the given configuration options
Definition at line 8274 of file z3py.py.
ctx |
Definition at line 8247 of file z3py.py.
Referenced by Simplifier.__deepcopy__(), Tactic.__deepcopy__(), Probe.__deepcopy__(), Probe.__eq__(), Probe.__ge__(), Probe.__gt__(), Probe.__le__(), Probe.__lt__(), Probe.__ne__(), Simplifier.add(), Tactic.apply(), ParserContext.from_string(), Simplifier.param_descrs(), Tactic.param_descrs(), Tactic.solver(), and Simplifier.using_params().
simplifier |
Definition at line 8248 of file z3py.py.
Referenced by Simplifier.__deepcopy__(), Simplifier.__del__(), Simplifier.add(), Simplifier.help(), Simplifier.param_descrs(), and Simplifier.using_params().