congress.z3.z3builtins module
this page last updated: 2020-02-25 17:35:16.448626
congress.z3.z3builtins module
-
class
congress.z3.z3builtins.
BuiltinPred
(args, ty_vars, z3)
Bases: tuple
-
property
args
Alias for field number 0
-
property
ty_vars
Alias for field number 1
-
property
z3
Alias for field number 2
this page last updated: 2020-02-25 17:35:16.448626