public void Set_SF_ZF_PF(BitVecExpr value)
{
Debug.Assert(value != null);
this.Empty = false;
lock (this._ctxLock)
{
Context ctx = this._ctx;
value = value.Translate(ctx) as BitVecExpr;
this.Set(Flags.SF, ToolsFlags.Create_SF(value, value.SortSize, ctx));
this.Set(Flags.ZF, ToolsFlags.Create_ZF(value, ctx));
this.Set(Flags.PF, ToolsFlags.Create_PF(value, ctx));
}
}
public void Set_SF_ZF_PF(BitVecExpr value)
{
Contract.Requires(value != null);
this.Empty = false;
lock (this.ctxLock_)
{
Context ctx = this.ctx_;
value = value.Translate(ctx) as BitVecExpr;
this.Set(Flags.SF, ToolsFlags.Create_SF(value, value.SortSize, ctx));
this.Set(Flags.ZF, ToolsFlags.Create_ZF(value, ctx));
this.Set(Flags.PF, ToolsFlags.Create_PF(value, ctx));
}
}