Stub out interface

Author: Baltoli

bindings/core/src/core.cpp

@@ -64,6 +64,12 @@ simplify(std::shared_ptr<KOREPattern> pattern, std::shared_ptr<KORESort> sort) {
   return term_to_pattern(simplify_to_term(pattern, sort));
 }
 
+std::shared_ptr<KOREPattern> evaluate_function(
+    std::string const &label,
+    std::vector<std::shared_ptr<KOREPattern>> const &args) {
+  abort();
+}
+
 bool is_sort_kitem(std::shared_ptr<KORESort> const &sort) {
   if (auto composite = std::dynamic_pointer_cast<KORECompositeSort>(sort)) {
     return composite->getName() == "SortKItem";

bindings/python/runtime.cpp

@@ -47,7 +47,7 @@ void *constructInitialConfiguration(const KOREPattern *initial);
 void bind_runtime(py::module_ &m) {
   auto runtime = m.def_submodule("runtime", "K LLVM backend runtime");
 
-  // These simplifications should really be a member function on the Python
+  // These simplifications  should really be a member function on the Python
   // Pattern class, but they depend on the runtime library and so need to be
   // bound as free functions in the kllvm.runtime module.
 
@@ -79,6 +79,8 @@ void bind_runtime(py::module_ &m) {
 
   m.def("simplify_bool_pattern", bindings::simplify_to_bool);
 
+  m.def("evaluate_function", bindings::evaluate_function);
+
   // This class can't be used directly from Python; the mutability semantics
   // that we get from the Pybind wrappers make it really easy to break things.
   // We therefore have to wrap it up in some external Python code; see

include/kllvm/bindings/core/core.h

@@ -35,6 +35,10 @@ std::shared_ptr<kllvm::KOREPattern> simplify(
 bool is_sort_kitem(std::shared_ptr<kllvm::KORESort> const &sort);
 bool is_sort_k(std::shared_ptr<kllvm::KORESort> const &sort);
 
+std::shared_ptr<kllvm::KOREPattern> evaluate_function(
+    std::string const &label,
+    std::vector<std::shared_ptr<kllvm::KOREPattern>> const &args);
+
 } // namespace kllvm::bindings
 
 #endif