public override Expr VisitBvConcatExpr(BvConcatExpr node)
{
var MSBCopy = this.Visit(node.E0) as Expr;
var LSBCopy = this.Visit(node.E1) as Expr;
var newNode = Builder.BVCONCAT(MSBCopy, LSBCopy);
Debug.Assert(MSBCopy != null);
Debug.Assert(LSBCopy != null);
Debug.Assert(newNode != null);
return(newNode);
}
public virtual Expr BVCONCAT(Expr MSB, Expr LSB)
{
return(UB.BVCONCAT(MSB, LSB));
}
