/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@cs.cmu.edu

\*******************************************************************/

#include "threeval.h"

const char *tvt::to_string() const
{
  switch(value)
  {
  case TV_TRUE: return "TRUE";
  case TV_FALSE: return "FALSE";
  case TV_UNKNOWN: return "UNKNOWN";
  default: return "ERROR";
  }
}

