VariableMapping.h

Go to the documentation of this file.

#ifndef _OCRABASE_VARIABLE_MAPPING_H_
#define _OCRABASE_VARIABLE_MAPPING_H_

#ifdef WIN32
# pragma once
#endif

namespace ocra
{
  class Variable;
}

#include <vector>

namespace ocra
{
  class VariableMapping
  {
  public:
    VariableMapping(const Variable& relative, const Variable& base);
    ~VariableMapping();

  private:
    VariableMapping(const VariableMapping&);
    VariableMapping& operator= (const VariableMapping&);

  public:
    const std::vector<int>& getMapping() const;
    const Variable& getBaseVariable() const;
    const Variable& getRelativeVariable() const;

  private:
    void updateMapping() const;
    void invalidate(int timestamp);

  private:
    mutable std::vector<int>  _mapping;
    const Variable&           _relative;
    const Variable&           _base;
    mutable bool              _validated;
  };
}

#endif //_OCRABASE_VARIABLE_MAPPING_H_

// cmake:sourcegroup=Solvers