ExprParser.ExprTreeNot Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aadd Show documentation

This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.

The newest version!

package ExprParser;

/**
 * Predefined functions: not
 */
class ExprTreeNot extends ExprTreeFunction {
    ExprTreeNot() { super(jAADD.AADDMgr.BOOL, "not", new ExprTree("x", jAADD.AADDMgr.BOOL)); }
    void evalThis() throws ExprError {
        if (param.size() != 1) throw new ExprError("not expects 1 parameter");
        result = getBDDParam(0).negate();
    }
}