Examples with AExpr dartagnan.expression.AExpr used on opensource projects

Example 1 with AExpr

use of dartagnan.expression.AExpr in project Dat3M by hernanponcedeleon.

the class Local method clone.

public Local clone() {
    Register newReg = reg.clone();
    AExpr newExpr = expr.clone();
    Local newLocal = new Local(newReg, newExpr);
    newLocal.condLevel = condLevel;
    newLocal.setHLId(hashCode());
    newLocal.setUnfCopy(getUnfCopy());
    return newLocal;
}