getnames preliminary work

Author: mewilhel

src/interval/interval.jl

@@ -70,8 +70,22 @@ end
 # end
 
 # Helper functions for navigating SymbolicUtils structures
+get_name(x::Sym{SymbolicUtils.FnType{Tuple{Any}, Real}, Nothing}) = x.name
+
+"""
+Takes x[1,1] returns :x_1_1
+"""
+function get_name(z::Term{SymbolicUtils.FnType{Tuple, Real}, Nothing})
+    d = value(z).val.f.arguments
+    x = string(d[1]) 
+    for i in 2:length(d)
+        x = x*"_"*string(i)
+    end
+    Symbol(x)
+end
+
 function get_name(s::Term)
-    return s.f.name
+    return get_name(s.f)
 end
 function get_name(s::Sym)
     return s.name

src/interval/rules.jl

@@ -9,27 +9,27 @@ using IfElse
 Unitary rules
 =#
 function transform_rule(::IntervalTransform, ::Symbol, yL, yU, xL, xU)
-    rl = Assignment(yL, :($xL))
-    ru = Assignment(yU, :($xU))
+    rl = Assignment(yL, xL)
+    ru = Assignment(yU, xU)
     AssignmentPair(rl, ru)
 end
 function transform_rule(::IntervalTransform, ::typeof(exp), yL, yU, xL, xU)
-    rl = Assignment(yL, :(exp($xL)))
-    ru = Assignment(yU, :(exp($xU)))
+    rl = Assignment(yL, exp(xL))
+    ru = Assignment(yU, exp(xU))
     AssignmentPair(rl, ru)
 end
 
 #=
 Binary Rules
 =#
 function transform_rule(::IntervalTransform, ::typeof(+), zL, zU, xL, xU, yL, yU)
-    rl = Assignment(zL, :($xL + $yL))
-    ru = Assignment(zU, :($xU + $yU))
+    rl = Assignment(zL, xL + yL)
+    ru = Assignment(zU, xU + yU)
     AssignmentPair(rl, ru)
 end
 function transform_rule(::IntervalTransform, ::typeof(-), zL, zU, xL, xU, yL, yU)
-    rl = Assignment(zL, :($xL - $yU))
-    ru = Assignment(zU, :($xU - $yL))
+    rl = Assignment(zL, xL - yU)
+    ru = Assignment(zU, xU - yL)
     AssignmentPair(rl, ru)
 end
 function transform_rule(::IntervalTransform, ::typeof(*), zL, zU, xL, xU, yL, yU)