Skip to main content

Browse the archive

https://github.com/fslivovsky/qute
15 July 2022, 16:04:06 UTC
Revision 1bba80d90ce0bc0440be44c23f473c2617fb6210 authored by Friedrich Slivovsky on 05 March 2021, 15:20:14 UTC, committed by Friedrich Slivovsky on 05 March 2021, 15:20:14 UTC 
fixed error with Clang
1 parent 47dcfc6
Raw File
Tip revision: 1bba80d90ce0bc0440be44c23f473c2617fb6210 authored by Friedrich Slivovsky on 05 March 2021, 15:20:14 UTC
fixed error with Clang
Tip revision: 1bba80d
pcnf_container.hh 
#ifndef pcnf_container_hh
#define pcnf_container_hh

#include <vector>
#include <string>
#include "solver_types.hh"

using std::string;
using std::vector;

namespace Qute {

class PCNFContainer {

public:
  virtual void addVariable(string original_name, char variable_type, bool auxiliary) = 0;
  virtual void addConstraint(vector<Literal>& literals, ConstraintType constraint_type) = 0;
  virtual void addDependency(Variable of, Variable on) = 0;
};
}

#endif
back to top