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);
}
}
}
}
