YEqQfBil.h

Go to the documentation of this file.

//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURYEQQFBIL_H
#define MINOTAURYEQQFBIL_H
 
#include "Types.h"
 
namespace Minotaur {
 
class YEqQfBil
{
public:
  YEqQfBil();
  VariablePtr findY(VariablePtr v1, VariablePtr v2);
  void insert(VariablePtr auxvar, VariablePtr v1, VariablePtr v2);
 
private:
  UIntVector hash1_;
  UIntVector hash2_;
  std::vector<VariablePtr> v1_;
  std::vector<VariablePtr> v2_;
  VarVector y_;
};
}
 
#endif