cvc4-1.4
language.h File Reference

Definition of input and output languages. More...

#include "cvc4_public.h"
#include <sstream>
#include <string>
#include "util/exception.h"
#include "options/option_exception.h"
Include dependency graph for language.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  CVC4
 
namespace  CVC4::language
 
namespace  CVC4::language::input
 
namespace  CVC4::language::output
 

Typedefs

typedef language::input::Language CVC4::InputLanguage
 
typedef language::output::Language CVC4::OutputLanguage
 

Enumerations

enum  CVC4::language::input::Language {
  CVC4::language::input::LANG_AUTO , CVC4::language::input::LANG_SMTLIB_V1 , CVC4::language::input::LANG_SMTLIB_V2 , CVC4::language::input::LANG_TPTP ,
  CVC4::language::input::LANG_CVC4 , CVC4::language::input::LANG_Z3STR , CVC4::language::input::LANG_MAX
}
 
enum  CVC4::language::output::Language {
  CVC4::language::output::LANG_AUTO , CVC4::language::output::LANG_SMTLIB_V1 , CVC4::language::output::LANG_SMTLIB_V2 , CVC4::language::output::LANG_TPTP ,
  CVC4::language::output::LANG_CVC4 , CVC4::language::output::LANG_Z3STR , CVC4::language::output::LANG_AST , CVC4::language::output::LANG_CVC3 ,
  CVC4::language::output::LANG_MAX
}
 

Functions

std::ostream & CVC4::language::input::operator<< (std::ostream &out, Language lang)
 
std::ostream & CVC4::language::output::operator<< (std::ostream &out, Language lang)
 
InputLanguage CVC4::language::toInputLanguage (OutputLanguage language)
 
OutputLanguage CVC4::language::toOutputLanguage (InputLanguage language)
 
InputLanguage CVC4::language::toInputLanguage (std::string language)
 
OutputLanguage CVC4::language::toOutputLanguage (std::string language)
 

Detailed Description

Definition of input and output languages.

** Original author: Morgan Deters
** Major contributors: none
** Minor contributors (to current version): Francois Bobot
** This file is part of the CVC4 project.
** Copyright (c) 2009-2014  New York University and The University of Iowa
** See the file COPYING in the top-level source directory for licensing
** information.

Definition of input and output languages.

Definition in file language.h.