LpRowSense.h

 
#pragma once
 
#include <ostream>
 
#include "dlinear/symbolic/symbolic.h"
 
namespace dlinear {
 
enum class LpRowSense {
  LT = 0,  
  EQ = 1,  
  LE = 2,  
  GE,      
  GT,      
  NQ,      
  IN,      
};
 
LpRowSense parseLpSense(const Formula &f);
LpRowSense parseLpSense(char sense);
char toChar(LpRowSense sense);
LpRowSense operator!(LpRowSense sense);
LpRowSense operator-(LpRowSense sense);
LpRowSense operator~(LpRowSense sense);
 
std::ostream &operator<<(std::ostream &os, const LpRowSense &lp_result);
 
}  // namespace dlinear
 
#ifdef DLINEAR_INCLUDE_FMT
 
#include "dlinear/util/logging.h"
 
OSTREAM_FORMATTER(dlinear::LpRowSense)
 
#endif