public IWeight Extend(Cmd cmd)
{
if (BoogieUtil.isAssumeFalse(cmd) || isZero)
{
return(new ConstantProp());
}
if (cmd is HavocCmd)
{
return(ApplyHavoc(cmd as HavocCmd));
}
else if (cmd is AssignCmd)
{
return(ApplyAssign(cmd as AssignCmd));
}
else if (cmd is CallCmd)
{
return(ApplyCall(cmd as CallCmd));
}
return(this);
}
