--
--  Copyright 2014 Alessandro Gerlinger Romero
--
--  This file is part of Hybrid fUML.
--
--  Hybrid fUML is free software: you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation, either version 3 of the License, or
--  (at your option) any later version.
--  
--  Hybrid fUML is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY; without even the implied warranty of
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--  GNU General Public License for more details.
--  
--  You should have received a copy of the GNU General Public License
--  along with Hybrid fUML. If not, see <http://www.gnu.org/licenses/>.
--

-- abstrat state machine 
-- hybrid fUML
-- reuses all the functions from synchronous fUML with exception of the main rule

../synchronousfUML/1syntax_abstractSyntax_embedded.gs
../synchronousfUML/1syntax_primitiveTypes.gs
../synchronousfUML/1syntax_library_embedded.gs

../synchronousfUML/2syntax_abstractSyntax_profile.gs

../embeddedModel/3syntax_userModel_embedded.gs

../synchronousfUML/4syntax_abstractSyntax_derivedFunctions.gs
../synchronousfUML/4syntax_baseSemanticsAxioms.gs

../synchronousfUML/5semanticDomain_embedded.gs

../synchronousfUML/6semanticDomain_tokenFlow.gs
../synchronousfUML/6semanticDomain_time.gs
../synchronousfUML/6semanticDomain_agents.gs
../synchronousfUML/6semanticDomain_communication.gs
../synchronousfUML/6semanticDomain_structuralFeature.gs

../synchronousfUML/7mapping_structuralFeature.gs
../synchronousfUML/7mapping_environment.gs
../synchronousfUML/7mapping_controlNodes.gs
../synchronousfUML/7mapping_actions.gs
../synchronousfUML/7mapping_library.gs
../synchronousfUML/7mapping_execution.gs

../synchronousfUML/7mapping_main_Syn.gs

8mapping_evaluateExpressions.gs
8mapping_discreteDomain.gs
8mapping_continuousDomain.gs
8mapping_main_Hyb.gs

9mapping_traceFunctions.gs