unique_variable.h

Go to the documentation of this file.

#pragma once
 
// Wm includes
#include "diagnostic.h"
 
// STL includes
#include <vector>
 
namespace wxm
{
namespace diagnostics
{
 
class UniqueVariable : public Diagnostic
{
public:
    UniqueVariable(const WmConstOpaquePtr& parent_solver)
        : Diagnostic(parent_solver), _patch_to_read(-1)
    {
    }
 
    void setup(const WxCryptSet& wxc) override;
 
    void typeCheck() override;
 
    bool needsDomain() const override
    {
        return false;
    }
 
    void runDiagnostic(std::vector<real>& res) override;
 
private:
    void createNewFile();
    void writeVariables(WxIoBase& io, WxIoNodeType fn, const int frame);
 
    int _patch_to_read;
 
};
 
} // namespace diagnostics
} // namespace wxm