codac2_BoolInterval.h

Go to the documentation of this file.

 
#pragma once
 
#include <ostream>
 
namespace codac2
{
  enum class BoolInterval
  {
    FALSE = 0x01,
    TRUE = 0x02,
    EMPTY = 0x00,
    UNKNOWN = 0x01 | 0x02
  };
 
  constexpr BoolInterval operator&(BoolInterval a, BoolInterval b)
  { return static_cast<BoolInterval>(static_cast<int>(a) & static_cast<int>(b)); }
 
  constexpr BoolInterval operator|(BoolInterval a, BoolInterval b)
  { return static_cast<BoolInterval>(static_cast<int>(a) | static_cast<int>(b)); }

  inline BoolInterval operator~(BoolInterval x)
  {
    switch(x)
    {
      case BoolInterval::FALSE:
        return BoolInterval::TRUE;
      case BoolInterval::TRUE:
        return BoolInterval::FALSE;
      default:
        return BoolInterval::UNKNOWN;
    }
  }
  
  inline std::ostream& operator<<(std::ostream& os, const BoolInterval& x)
  {
    switch(x)
    {
      case BoolInterval::EMPTY:
        os << "[ empty ]";
        break;
      case BoolInterval::FALSE:
        os << "[ false ]";
        break;
      case BoolInterval::TRUE:
        os << "[ true ]";
        break;
      case BoolInterval::UNKNOWN:
        os << "[ true, false ]";
        break;
    }
    return os;
  }
}