// (C) Copyright 2008-2009 SDML (www.sdml.info)
//
// Use, modification and distribution is subject to the Boost Software
// License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)


#include <iostream>
#include <sstream>
#include <string>
#include <iterator>
#include <algorithm>

#include <boost/fca/set_context.hpp>
#include <boost/fca/set_relation.hpp>
#include <boost/fca/lattice.hpp>
#include <boost/fca/read_concepts.hpp>
#include <boost/fca/write_table.hpp>
#include <boost/fca/write_graphviz.hpp>

#include "read_confile.hpp"

using namespace std;
using namespace boost;
using namespace boost::fca;

typedef set_context<string, string> Context;
typedef relation<Context> Relation;
typedef lattice<Relation> Lattice;

int
main(int argc, char* argv[])
{
    // Build the context and relation.
    Context cxt;
    Relation rel;
    read_confile(cin, cxt, rel);

    // Compute the lattice.
    Lattice lat(rel, true);

    // Dump to standar out.
    write_graphviz(cout, lat);

    return 0;
}