diff options
author | Anusha Gugale <external.agogale@jp.adit-jv.com> | 2021-01-19 18:06:48 +0530 |
---|---|---|
committer | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2021-01-20 22:39:18 +0900 |
commit | ca54ecb2f7ffdc1d68ed72836f09058d3ef242ec (patch) | |
tree | ced19c3a922cff59a552a10c0bd27afa05b87e5f /src/optimize | |
parent | 2cfe2c611be63ae4541abf4e13cfecff0f008f25 (diff) |
Create RBAArbitratorImpl class to hide internal interfaces
Signed-off-by: Anusha Gugale <external.agogale@jp.adit-jv.com>
Change-Id: Ica733746489825c5e9e5995964801ef2d173cd24
Diffstat (limited to 'src/optimize')
-rw-r--r-- | src/optimize/RBAAbstractCollector.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/optimize/RBAAbstractCollector.cpp b/src/optimize/RBAAbstractCollector.cpp index 8d1574b..b1549ea 100644 --- a/src/optimize/RBAAbstractCollector.cpp +++ b/src/optimize/RBAAbstractCollector.cpp @@ -26,7 +26,7 @@ #include "RBAAllocatableSet.hpp" #include "RBAAllocatedContent.hpp" #include "RBAAndOperator.hpp" -#include "RBAArbitrator.hpp" +#include "RBAArbitratorImpl.hpp" #include "RBAConstraintInfo.hpp" #include "RBAContent.hpp" #include "RBAContentSet.hpp" @@ -299,7 +299,7 @@ void RBAAbstractCollector::visit(RBAForAllOperator& exp) { visitLetStatement(exp); RBAConstraintInfo dummyInfo; - RBAArbitrator dummyArb; + RBAArbitratorImpl dummyArb; dummyArb.setModel(model_); dummyArb.setResult(std::make_unique<RBAResultImpl>( &dummyArb, std::make_unique<RBAResultSet>())); @@ -335,7 +335,7 @@ void RBAAbstractCollector::visit(RBAExistsOperator& exp) { visitLetStatement(exp); RBAConstraintInfo dummyInfo; - RBAArbitrator dummyArb; + RBAArbitratorImpl dummyArb; dummyArb.setModel(model_); dummyArb.setResult(std::make_unique<RBAResultImpl>( &dummyArb, std::make_unique<RBAResultSet>())); @@ -424,7 +424,7 @@ void RBAAbstractCollector::visit(RBAMaxOperator& exp) { visitLetStatement(exp); RBAConstraintInfo dummyInfo; - RBAArbitrator dummyArb; + RBAArbitratorImpl dummyArb; dummyArb.setModel(model_); dummyArb.setResult(std::make_unique<RBAResultImpl>( &dummyArb, std::make_unique<RBAResultSet>())); @@ -460,7 +460,7 @@ void RBAAbstractCollector::visit(RBAMinOperator& exp) { visitLetStatement(exp); RBAConstraintInfo dummyInfo; - RBAArbitrator dummyArb; + RBAArbitratorImpl dummyArb; dummyArb.setModel(model_); dummyArb.setResult(std::make_unique<RBAResultImpl>( &dummyArb, std::make_unique<RBAResultSet>())); @@ -496,7 +496,7 @@ void RBAAbstractCollector::visit(RBASelectOperator& exp) { visitLetStatement(exp); RBAConstraintInfo dummyInfo; - RBAArbitrator dummyArb; + RBAArbitratorImpl dummyArb; dummyArb.setModel(model_); dummyArb.setResult(std::make_unique<RBAResultImpl>( &dummyArb, std::make_unique<RBAResultSet>())); |