ExprParser.ExprTreeLog 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 jAADD.AADD;
import static jAADD.AADDMgr.REAL;
/**
* Predefined functions: log
*/
class ExprTreeLog extends ExprTreeFunction {
ExprTreeLog() { super(REAL, "log", new ExprTree("x", REAL)); }
void evalThis() throws ExprError {
result = getAADDParam(0).log();
}
}