File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -88,8 +88,6 @@ if(WITH_EUROPA)
8888
8989 trex_plugin (europa europa_plugin.cc
9090 EuropaReactor.cc
91- europa_convert.cc
92- EuropaDomain.cc
9391 extensions/Bind.cc
9492 extensions/DoNotMatchFilter.cc
9593 extensions/extensions.cc
@@ -99,8 +97,6 @@ if(WITH_EUROPA)
9997 extensions/Trigonometry.cc
10098 # headers
10199 EuropaReactor.hh
102- bits/europa_convert.hh
103- EuropaEntity.hh
104100 extensions/Bind.hh
105101 extensions/DoNotMatchFilter.hh
106102 extensions/EarliestFirstFlawManager.hh
Original file line number Diff line number Diff line change 3333 */
3434#include " EuropaReactor.hh"
3535
36- #include " bits/europa_convert.hh"
36+ #include < trex/europa/ bits/europa_convert.hh>
3737#include " core/private/CurrentState.hh"
3838
3939#include < trex/utils/chrono_helper.hh>
Original file line number Diff line number Diff line change @@ -45,17 +45,21 @@ add_library(TREXeuropa_core SHARED
4545 Assembly.cc
4646 core.cc
4747 CurrentState.cc
48+ EuropaDomain.cc
4849 TrexThreatDecisionPoint.cc
4950 DeliberationFilter.cc
51+ europa_convert.cc
5052 europa_helpers.cc
5153 ModeConstraints.cc
5254 ReactorConstraints.cc
5355 Schema.cc
5456 SynchronizationManager.cc
5557 TimeConstraints.cc
56- # headers
58+ # headers
59+ private /EuropaDomain.hh
5760 ../trex/europa/Assembly.hh
5861 ../trex/europa/DeliberationFilter.hh
62+ ../trex/europa/EuropaEntity.hh
5963 ../trex/europa/EuropaException.hh
6064 ../trex/europa/EuropaPlugin.hh
6165 ../trex/europa/ModeConstraints.hh
@@ -64,6 +68,7 @@ add_library(TREXeuropa_core SHARED
6468 ../trex/europa/SynchronizationManager.hh
6569 ../trex/europa/TimeConstraints.hh
6670 ../trex/europa/TrexThreatDecisionPoint.hh
71+ ../trex/europa/bits/europa_convert.hh
6772 ../trex/europa/bits/europa_helpers.hh
6873 ../trex/europa/config.hh
6974)
@@ -72,7 +77,7 @@ source_group("Header\ Files\\bits" FILES
7277 ../trex/europa/bits/europa_helpers.hh
7378)
7479
75- target_link_libraries (TREXeuropa_core ${EUROPA_LIBRARIES} TREXutils
80+ target_link_libraries (TREXeuropa_core ${EUROPA_LIBRARIES} TREXdomain
7681 ${Boost_REGEX_LIBRARY} )
7782
7883trex_lib (TREXeuropa_core extra )
Original file line number Diff line number Diff line change 3232 * POSSIBILITY OF SUCH DAMAGE.
3333 */
3434
35- #include " EuropaEntity.hh"
35+ #include < trex/europa/ EuropaEntity.hh>
3636#include " private/EuropaDomain.hh"
37- #include " bits/europa_convert.hh"
37+ #include < trex/europa/ bits/europa_convert.hh>
3838
3939using namespace TREX ::europa;
4040using namespace TREX ;
Original file line number Diff line number Diff line change 3131 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
3232 * POSSIBILITY OF SUCH DAMAGE.
3333 */
34- #include " bits/europa_convert.hh"
34+ #include < trex/europa/ bits/europa_convert.hh>
3535
3636
3737#include < trex/europa/EuropaException.hh>
38- #include " EuropaEntity.hh"
38+ #include < trex/europa/ EuropaEntity.hh>
3939#include " private/EuropaDomain.hh"
4040
4141#include < trex/domain/BooleanDomain.hh>
File renamed without changes.
File renamed without changes.
You can’t perform that action at this time.
0 commit comments