public void UpdateConstName(string postfix) { this.HeadKey = this.HeadKey + postfix; this.TailKey = this.TailKey + postfix; lock (this._ctxLock) { { BoolExpr[] content = this.Solver.Assertions; this.Solver.Reset(); foreach (BoolExpr e in content) { this.Solver.Assert(ToolsZ3.UpdateConstName(e, postfix, this._ctx) as BoolExpr); } } { BoolExpr[] content = this.Solver_U.Assertions; this.Solver_U.Reset(); foreach (BoolExpr e in content) { this.Solver_U.Assert(ToolsZ3.UpdateConstName(e, postfix, this._ctx) as BoolExpr); } } } }