cvc4-1.3
language.h File Reference

Definition of input and output languages. More...

#include "cvc4_public.h"
#include <sstream>
#include <string>
#include "util/exception.h"

Go to the source code of this file.

Namespaces

 CVC4
 
 CVC4::language
 
 CVC4::language::input
 
 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_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_AST, 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)
 

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-2013  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.