#include "logic_vec.h"
#include "vtr_assert.h"

//Output operator for vtr::LogicValue
std::ostream& operator<<(std::ostream& os, vtr::LogicValue val) {
    if(val == vtr::LogicValue::FALSE) os << "0";
    else if (val == vtr::LogicValue::TRUE) os << "1";
    else if (val == vtr::LogicValue::DONT_CARE) os << "-";
    else if (val == vtr::LogicValue::UNKOWN) os << "x";
    else VTR_ASSERT(false);
    return os;
}