mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
add fromString method
This commit is contained in:
parent
4be26eb543
commit
53e168879a
|
@ -1012,6 +1012,10 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
|
|||
toString() {
|
||||
return check(Z3.solver_to_string(contextPtr, this.ptr));
|
||||
}
|
||||
|
||||
fromString(s : string) {
|
||||
Z3.solver_from_string(contextPtr, this.ptr, s);
|
||||
}
|
||||
}
|
||||
|
||||
class ModelImpl implements Model<Name> {
|
||||
|
|
Loading…
Reference in a new issue