Commit 46bfbed8 authored by Jerome Hugues's avatar Jerome Hugues

* Add function to load REAL libraries and set main theorem to

          evaluate
parent 5f6b0787
......@@ -73,6 +73,28 @@ def instantiate (root_system):
return runOcarinaFunction (libocarina_python.instantiate, root_system)
################################################################################
def set_real_theorem (theorem_name):
'''Set main REAL theorem
:param theorem_name: name of the theorem
:type theorem_name: string
'''
return runOcarinaFunction (libocarina_python.set_real_theorem, theorem_name)
################################################################################
def add_real_library (libraryname):
'''
:param libraryname: name of the theorem
:type libraryname: string
'''
return runOcarinaFunction (libocarina_python.add_real_library, libraryname)
################################################################################
Backends = Enum ([ "polyorb_hi_ada", "polyorb_hi_c", "real_theorem"])
'''List of supported backends, used by :data:`generate`'''
......
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