codac2_BoolInterval.h File Reference

#include <ostream>

Include dependency graph for codac2_BoolInterval.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations
enum class	codac2::BoolInterval { }
	Enumeration representing a boolean interval. More...

Functions
std::ostream &	codac2::operator<< (std::ostream &os, const BoolInterval &x)
	Streams out a BoolInterval.

Detailed Description

Date

2024

Author

Simon Rohou

Copyright

Copyright 2024 Codac Team

License: GNU Lesser General Public License (LGPL)

Enumeration Type Documentation

BoolInterval

enum class codac2::BoolInterval

strong

Enumeration representing a boolean interval.

The logical operators & and | can be used to combine BoolInterval values.

Enumerator
EMPTY	EMPTY is equivalent to the operation TRUE & FALSE.
UNKNOWN	UNKNOWN is equivalent to the operation TRUE | FALSE.

  {
    FALSE = 0x01,
    TRUE = 0x02,
    EMPTY = 0x00,
    UNKNOWN = 0x01 | 0x02
  };

Function Documentation

operator<<()

std::ostream & codac2::operator<< ( std::ostream & os, const BoolInterval & x )

inline

Streams out a BoolInterval.

Parameters

os	the stream to be updated
x	the boolean interval to stream out

Returns

a reference to the updated stream

  {
    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;
  }