Commit b14a05a8 authored by Anastasiia's avatar Anastasiia

epsilons to smtcomplete

parent d5d3f55e
......@@ -257,7 +257,7 @@ object RelativeErrorPhase extends DaisyPhase with Subdivision with ErrorFunction
reporter.debug("The set we got")
// output subintervals without deltas
for (entry <- newSet){
for (mapEntry <- entry if !mapEntry._1.isDeltaId)
for (mapEntry <- entry if !(mapEntry._1.isDeltaId|| mapEntry._1.isEpsilonId))
reporter.debug(mapEntry._1 + " -> " + mapEntry._2)
}
......@@ -322,10 +322,11 @@ object RelativeErrorPhase extends DaisyPhase with Subdivision with ErrorFunction
val interval = Evaluators.evalInterval(expr, intMap)
var constrs: Set[Expr] = Set.empty
val deltas = deltasOf(expr)
val eps = epsilonsOf(expr)
val vars = variablesOf(expr)
intMap.foreach(x => {
val (id, interval) = x
if (deltas.contains(Delta(id)) || vars.contains(id)) {
if (deltas.contains(Delta(id)) || vars.contains(id) || eps.contains(Epsilon(id))) {
constrs = constrs ++ SMTRange.toConstraints(Variable(id), interval)
}
})
......
Markdown is supported
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