| /******************************************************************************* |
| * Copyright (c) 2016 CEA LIST. |
| * |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr |
| * - Initial API and implementation |
| ******************************************************************************/ |
| #ifndef DATASOLVERCOMPARATOR_H_ |
| #define DATASOLVERCOMPARATOR_H_ |
| |
| #include "BaseDataComparator.h" |
| |
| #include <solver/api/SatSolver.h> |
| |
| |
| namespace sep |
| { |
| |
| |
| class BaseDataSolverComparator : public BaseDataComparator |
| { |
| |
| protected: |
| /** |
| * ATTRIBUTES |
| */ |
| SatSolver * mSolver; |
| |
| |
| public: |
| /** |
| * CONSTRUCTOR |
| * Default |
| */ |
| BaseDataSolverComparator(Configuration & aConfiguration) |
| : BaseDataComparator( aConfiguration ), |
| mSolver( NULL ) |
| { |
| //!! NOTHING |
| } |
| |
| /** |
| * DESTRUCTOR |
| */ |
| virtual ~BaseDataSolverComparator(); |
| |
| |
| /** |
| * CONFIGURE |
| */ |
| virtual bool configure(WObject * wfParameterObject); |
| |
| |
| /** |
| * GETTER - SETTER |
| * mSolver |
| */ |
| inline SatSolver * getSolver() |
| { |
| return( mSolver ); |
| } |
| |
| inline virtual bool hasVariableComparison() |
| { |
| return( (mSolver != NULL) && mSolver->hasSelectedVariable() ); |
| } |
| |
| |
| /* |
| * COMPARE |
| */ |
| virtual bool compare( |
| const ExecutionContext & newEC, const ExecutionContext & oldEC); |
| |
| }; |
| |
| |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| //////////////////////////////////////////////////////////////////////////////// |
| // SOLVER EQUALITY |
| //////////////////////////////////////////////////////////////////////////////// |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class DataSolverEquality : public BaseDataSolverComparator |
| { |
| |
| public: |
| /** |
| * CONSTRUCTOR |
| * Default |
| */ |
| DataSolverEquality(Configuration & aConfiguration) |
| : BaseDataSolverComparator( aConfiguration ) |
| { |
| //!! NOTHING |
| } |
| |
| /** |
| * DESTRUCTOR |
| */ |
| virtual ~DataSolverEquality() |
| { |
| //!! NOTHING |
| } |
| |
| |
| /* |
| * COMPARE |
| */ |
| inline virtual bool compareDATA( |
| const ExecutionContext & newEC, const ExecutionContext & oldEC) |
| { |
| return( getSolver()->isEqualSet(newEC, oldEC) ); |
| } |
| |
| /** |
| * strComparer |
| */ |
| inline virtual std::string strComparer() const |
| { |
| return( "== i.e. EQ" ); |
| } |
| |
| }; |
| |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| //////////////////////////////////////////////////////////////////////////////// |
| // SOLVER INCLUSION |
| //////////////////////////////////////////////////////////////////////////////// |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class DataSolverInclusion : public BaseDataSolverComparator |
| { |
| |
| public: |
| /** |
| * CONSTRUCTOR |
| * Default |
| */ |
| DataSolverInclusion(Configuration & aConfiguration) |
| : BaseDataSolverComparator( aConfiguration ) |
| { |
| //!! NOTHING |
| } |
| |
| /** |
| * DESTRUCTOR |
| */ |
| virtual ~DataSolverInclusion() |
| { |
| //!! NOTHING |
| } |
| |
| |
| /* |
| * COMPARE |
| */ |
| virtual bool compareDATA( |
| const ExecutionContext & newEC, const ExecutionContext & oldEC) |
| { |
| return( getSolver()->isSubSet(newEC, oldEC) ); |
| } |
| |
| /** |
| * strComparer |
| */ |
| inline virtual std::string strComparer() const |
| { |
| return( "<= i.e. INCLUSION" ); |
| } |
| |
| }; |
| |
| |
| } |
| |
| #endif /*DATASOLVERCOMPARATOR_H_*/ |
