FormulaKind.h

#pragma once
 
#include <iosfwd>
 
namespace delpi {

enum class FormulaKind {
  Eq,   
  Neq,  
  Gt,   
  Geq,  
  Lt,   
  Leq,  
};

FormulaKind operator-(FormulaKind kind);
FormulaKind operator!(FormulaKind kind);
 
std::ostream& operator<<(std::ostream& os, FormulaKind kind);
 
}  // namespace delpi
 
#ifdef DELPI_INCLUDE_FMT
 
#include "delpi/util/logging.h"
 
OSTREAM_FORMATTER(delpi::FormulaKind);
 
#endif