Remove all support for evaluation of functions in predicate arguments.

JuliaPlanners · Jul 28, 2022 · 13e76e3 · 13e76e3
1 parent 3aaf11e
commit 13e76e3
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 12 deletions.
diff --git a/src/interpreter/abstract/satisfy.jl b/src/interpreter/abstract/satisfy.jl
@@ -76,7 +76,6 @@ function check(interpreter::AbstractInterpreter,
     elseif is_func(term, domain)
         evaluate(interpreter, domain, state, term)::Bool
     else
-        term = partialeval(domain, state, term)
         term in state.facts
     end
     return sat

diff --git a/src/interpreter/concrete/satisfy.jl b/src/interpreter/concrete/satisfy.jl
@@ -68,7 +68,6 @@ function check(interpreter::ConcreteInterpreter,
     elseif is_func(term, domain)
         evaluate(interpreter, domain, state, term)::Bool
     else
-        term = partialeval(domain, state, term)
         term in state.facts
     end
     return sat

diff --git a/src/interpreter/diff.jl b/src/interpreter/diff.jl
@@ -18,23 +18,13 @@ end
 
 function add_effect!(diff::GenericDiff,
                      domain::Domain, state::State, effect::Term)
-    if effect isa Compound # Evaluated all nested functions
-        args = Term[a isa Compound ? Const(evaluate(domain, state, a)) : a
-                    for a in effect.args]
-        effect = Compound(effect.name, args)
-    end
     push!(diff.add, effect)
     return diff
 end
 
 function del_effect!(diff::GenericDiff,
                      domain::Domain, state::State, effect::Term)
     effect = effect.args[1]
-    if effect isa Compound # Evaluated all nested functions
-        args = Term[a isa Compound ? Const(evaluate(domain, state, a)) : a
-                    for a in effect.args]
-        effect = Compound(effect.name, args)
-    end
     push!(diff.del, effect)
     return diff
 end