Parser.h File Reference

#include <sstream>
#include <carl-logging/carl-logging.h>
#include "Common.h"
#include <carl-arith/numbers/numbers.h>
#include "FormulaParser.h"
#include "PolynomialParser.h"
#include "RationalFunctionParser.h"

Include dependency graph for Parser.h:

Go to the source code of this file.

Data Structures
class	carl::io::parser::Parser< Pol >

Namespaces
	carl
	carl is the main namespace for the library.
	carl::io
	carl::io::parser

Detailed Description

Author

Gereon Kremer gereo.nosp@m.n.kr.nosp@m.emer@.nosp@m.cs.r.nosp@m.wth-a.nosp@m.ache.nosp@m.n.de

Definition in file Parser.h.