Rename [vigir_bs_synthesizer] --> [vigir_ltl_synthesizer]

Author: spmaniato

vigir_bs_synthesizer/CMakeLists.txt vigir_ltl_synthesizer/CMakeLists.txt

@@ -1,5 +1,5 @@
 cmake_minimum_required(VERSION 2.8.3)
-project(vigir_bs_synthesizer)
+project(vigir_ltl_synthesizer)
 
 find_package(catkin REQUIRED COMPONENTS message_generation)
 

vigir_bs_synthesizer/package.xml vigir_ltl_synthesizer/package.xml

@@ -1,6 +1,6 @@
 <package>
 
-	<name>vigir_bs_synthesizer</name>
+	<name>vigir_ltl_synthesizer</name>
 	<version>1.0.0</version>
 	<description>An interface between the Behavior Synthesis Manager and the LTL Synthesizer (slugs)</description>
 

vigir_bs_synthesizer/setup.py vigir_ltl_synthesizer/setup.py

@@ -4,7 +4,7 @@
 from catkin_pkg.python_setup import generate_distutils_setup
 
 d = generate_distutils_setup(
-    packages = ['vigir_bs_synthesizer'],
+    packages = ['vigir_ltl_synthesizer'],
     package_dir = {'': 'src'}
 )
 

vigir_bs_synthesizer/src/vigir_bs_synthesizer/StructuredSlugsParser/Parser.py vigir_ltl_synthesizer/src/vigir_bs_synthesizer/StructuredSlugsParser/Parser.py

@@ -3,8 +3,8 @@
 import os, sys
 import subprocess
 
-from vigir_bs_specification.atlas_specification import ControlModeSpecification
-from vigir_bs_synthesizer.StructuredSlugsParser.compiler import performConversion
+from vigir_ltl_specification.atlas_specification import ControlModeSpecification
+from vigir_ltl_synthesizer.StructuredSlugsParser.compiler import performConversion
 
 vigir_repo = os.environ['VIGIR_ROOT_DIR']
 
@@ -20,12 +20,12 @@
 # Add manipulate as a goal (system liveness requirement)
 my_mode_spec.add_control_mode_goal("manipulate")
 
-# Write specification in .structuredslugs file in temp_bs_files folder
-specs_folder = os.path.join(vigir_repo, 'catkin_ws/src/vigir_behavior_synthesis/temp_bs_files')
+# Write specification in .structuredslugs file in synthesis_byproducts folder
+specs_folder = os.path.join(vigir_repo, 'catkin_ws/src/vigir_behavior_synthesis/synthesis_byproducts')
 structured_slugs_file, folder_path = my_mode_spec.write_structured_slugs_file(specs_folder)
 
 # Prepare for conversion and synthesis using slugs
-# structured_parser_path = os.path.join(vigir_repo, 'catkin_ws/src/vigir_behavior_synthesis/vigir_bs_synthesizer', "StructuredSlugsParser")
+# structured_parser_path = os.path.join(vigir_repo, 'catkin_ws/src/vigir_behavior_synthesis/vigir_ltl_synthesizer', "StructuredSlugsParser")
 # sys.path.insert(0, structured_parser_path)
 # import conversion function from slugs' compiler.py
 # from compiler import performConversion

vigir_bs_synthesizer/src/vigir_bs_synthesizer/StructuredSlugsParser/__init__.py vigir_ltl_synthesizer/src/vigir_bs_synthesizer/StructuredSlugsParser/__init__.py

@@ -5,9 +5,9 @@
 import rospy
 import json
 
-from vigir_bs_msgs.srv import LTLSynthesis, LTLSynthesisResponse
-from vigir_bs_msgs.msg import AutomatonState, SynthesizedAutomaton, BSErrorCodes
-from vigir_bs_synthesizer.StructuredSlugsParser import compiler as slugs_compiler
+from vigir_synthesis_msgs.srv import LTLSynthesis, LTLSynthesisResponse
+from vigir_synthesis_msgs.msg import AutomatonState, SynthesizedAutomaton, BSErrorCodes
+from vigir_ltl_synthesizer.StructuredSlugsParser import compiler as slugs_compiler
 
 VIGIR_ROOT_DIR = os.environ['VIGIR_ROOT_DIR']
 
@@ -140,7 +140,7 @@ def write_structured_slugs_from_msg(ltl_spec, name):
     '''...'''
 
     # The directory where specs and automata are saved:
-    specs_folder_path = os.path.join(VIGIR_ROOT_DIR, 'catkin_ws/src/vigir_behavior_synthesis/temp_bs_files') 
+    specs_folder_path = os.path.join(VIGIR_ROOT_DIR, 'catkin_ws/src/vigir_behavior_synthesis/synthesis_byproducts') 
 
     # The directory where this spec will be saved:
     this_folder_path = os.path.join(specs_folder_path, name)