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"

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