mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
adding toString() to model object
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9cd3b9cad7
commit
907dc2c2d2
|
@ -1050,6 +1050,10 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
|
|||
return check(Z3.model_to_string(contextPtr, this.ptr));
|
||||
}
|
||||
|
||||
toString() {
|
||||
return this.sexpr();
|
||||
}
|
||||
|
||||
eval(expr: Bool<Name>, modelCompletion?: boolean): Bool<Name>;
|
||||
eval(expr: Arith<Name>, modelCompletion?: boolean): Arith<Name>;
|
||||
eval(expr: Expr<Name>, modelCompletion: boolean = false) {
|
||||
|
|
Loading…
Reference in a new issue