diff options
author | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2020-08-24 21:58:42 +0900 |
---|---|---|
committer | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2020-08-24 21:58:42 +0900 |
commit | 2b4ae7fde370bc3316ab30cc38b74d23e785b360 (patch) | |
tree | 41b6eb70b3419c2fbd192ed133c5890a985eddec /src/optimize/RBAAllwaysCheckConstraintCollector.hpp | |
parent | 6694a4d2952ebd171564932200cac00d6e5792f4 (diff) |
First commitjellyfish_9.99.4jellyfish/9.99.49.99.4
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Change-Id: I381abb0a6521f5349768a76ef7ceecbce4b2d701
Diffstat (limited to 'src/optimize/RBAAllwaysCheckConstraintCollector.hpp')
-rw-r--r-- | src/optimize/RBAAllwaysCheckConstraintCollector.hpp | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/src/optimize/RBAAllwaysCheckConstraintCollector.hpp b/src/optimize/RBAAllwaysCheckConstraintCollector.hpp new file mode 100644 index 0000000..3b552e5 --- /dev/null +++ b/src/optimize/RBAAllwaysCheckConstraintCollector.hpp @@ -0,0 +1,51 @@ +/** + * Copyright (c) 2019 DENSO CORPORATION. + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +// +// RBAAllwaysCheckConstraintCollector.hpp +// + +#ifndef RBAALLWAYSCHECKCONSTRAINTSETTER_HPP +#define RBAALLWAYSCHECKCONSTRAINTSETTER_HPP + +#include "RBAAbstractCollector.hpp" + +namespace rba +{ +class RBAConstraintImpl; + +class RBAAllwaysCheckConstraintCollector : public RBAAbstractCollector +{ + public: + RBAAllwaysCheckConstraintCollector(RBAModelImpl* const model); + RBAAllwaysCheckConstraintCollector(const RBAAllwaysCheckConstraintCollector&)=default; + RBAAllwaysCheckConstraintCollector(RBAAllwaysCheckConstraintCollector&&)=default; + RBAAllwaysCheckConstraintCollector& operator=(const RBAAllwaysCheckConstraintCollector&)=default; + RBAAllwaysCheckConstraintCollector& operator=(RBAAllwaysCheckConstraintCollector&&)=default; + virtual ~RBAAllwaysCheckConstraintCollector()=default; + void init(const RBAConstraintImpl* const constraint); + bool isAllways() const; + void visit(RBAPreviousModifier& exp) final; + private: + // Constraint expression during search + const RBAConstraintImpl* constraint_ {nullptr}; + // True if the constraint expression being searched is a constraint expression that must always be arbitrated + bool isAllways_ {false}; +}; + +} /* namespace rba */ + +#endif /* RBAALLWAYSCHECKCONSTRAINTSETTER_HPP */ |