flatzinc_parser.hpp File Reference

#include "peglib.h"
#include <cassert>
#include <cstdlib>
#include <string>
#include <istream>
#include <fstream>
#include <streambuf>
#include <iostream>
#include <cfenv>
#include <set>
#include <cinttypes>
#include "battery/shared_ptr.hpp"
#include "lala/logic/ast.hpp"
#include "solver_output.hpp"

Go to the source code of this file.

Namespaces
namespace	lala

Functions
template<class Allocator >
battery::shared_ptr< TFormula< Allocator >, Allocator >	lala::parse_flatzinc_str (const std::string &input, SolverOutput< Allocator > &output)
template<class Allocator >
battery::shared_ptr< TFormula< Allocator >, Allocator >	lala::parse_flatzinc (const std::string &filename, SolverOutput< Allocator > &output)
template<class Allocator >
battery::shared_ptr< TFormula< Allocator >, Allocator >	lala::parse_flatzinc_str (const std::string &input, const Allocator &allocator=Allocator())
template<class Allocator >
battery::shared_ptr< TFormula< Allocator >, Allocator >	lala::parse_flatzinc (const std::string &filename, const Allocator &allocator=Allocator())