Commit 69514d33 authored by Johannes Eder's avatar Johannes Eder
Browse files

YELLOW

refs 3201
parent 96cdbd4e
......@@ -4,6 +4,6 @@ ConstraintToQuantifiedSMT.java 9cbb27b1ac997015a642a652351c96ec726a35d5 RED
DeploymentRun2.java 6e23c25d311b8f7decbc683943d0f38fb63f2bb6 RED
ITransformationService.java fcddb7beb90eb693983babba30728d4600c15fc6 RED
LanguageTransformation.java dec787bc76da370eb066356b9192bddd86aeb290 RED
SMTTransformationUtils.java c7a344d8141974b01dbcd6f9b89f8c4a4af668db RED
SMTTransformationUtils.java e0002fedbebe5fc5386d63b114ccb4e29afba26b YELLOW
SolverRun2.java 61c57992fd21120a02cb39c47f1f47ba234873cd RED
TransformationService.java 1dd5542305402ee2f0e28fd25350265251ad801f RED
......@@ -26,9 +26,12 @@ import com.microsoft.z3.Context;
import com.microsoft.z3.Symbol;
import com.microsoft.z3.Z3javaAPIWrapper;
// TODO(AD): Should this class be moved to the util package?
/**
* Utility class for transformation of models into smt expressions.
* This class is specifically intended for utility methods considering the transformation of the
* DSML into SMT. This is the reeason for not moving it to the plugins utility classes.
*
* All methods should not be changed unless the modifier is completely sure what he/she is doing!
*
* @author eder
*/
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment