expression_kind.h

 
#pragma once
 
#include <cstdint>
#include <istream>
 
namespace smats {
 
enum class ExpressionKind {
  Constant,               
  Var,                    
  Add,                    
  Mul,                    
  Div,                    
  Log,                    
  Abs,                    
  Exp,                    
  Sqrt,                   
  Pow,                    
  Sin,                    
  Cos,                    
  Tan,                    
  Asin,                   
  Acos,                   
  Atan,                   
  Atan2,                  
  Sinh,                   
  Cosh,                   
  Tanh,                   
  Min,                    
  Max,                    
  Ceil,                   
  Floor,                  
  IfThenElse,             
  NaN,                    
  UninterpretedFunction,  
};
 
inline bool operator<(ExpressionKind k1, ExpressionKind k2) {
  return static_cast<std::uint16_t>(k1) < static_cast<std::uint16_t>(k2);
}
 
std::ostream &operator<<(std::ostream &os, const ExpressionKind &kind);
 
}  // namespace smats