ExprParser.ExprTreeExp Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of aadd Show documentation
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;
import static jAADD.AADDMgr.REAL;
/**
* Predefined functions: exp
*/
class ExprTreeExp extends ExprTreeFunction {
ExprTreeExp() { super(REAL, "exp", new ExprTree("x", REAL)); }
void evalThis() throws ExprError {
result = getAADDParam(0).exp();
}
}