// (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/graph/adjacency_list.hpp>

#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>

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

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

int
main(int argc, char *argv[])
{
    string objs[] = {
        "Iter::Iter(Iter)",
        "operator!=(Iter,Iter)",
        "operator++(Iter)",
        "operator*(Iter)",
        "operator=(*Iter,T)"
    };
    int nobjs = sizeof(objs) / sizeof(string);

    string atts[] = {
        "CopyConstructible<Iter>",
        "EqualityComparable<Iter>",
        "Dereferenceable<Iter>",
        "ArithmeticLike<Iter>",
        "InputIterator<Iter>",
        "OutputIterator<Iter,Value?>",
        "BasicOutputIterator<Iter>",
        "ForwardIterator<Iter>",
        "MutableForwardIterator<Iter>",
        "Assignable<*Iter,T>"
    };
    int natts = sizeof(atts) / sizeof(string);

    pair<string, string> rels[] = {
        make_pair("Iter::Iter(Iter)", "CopyConstructible<Iter>"),
        make_pair("Iter::Iter(Iter)", "ArithmeticLike<Iter>"),
        make_pair("Iter::Iter(Iter)", "InputIterator<Iter>"),
        make_pair("Iter::Iter(Iter)", "OutputIterator<Iter,Value?>"),
        make_pair("Iter::Iter(Iter)", "BasicOutputIterator<Iter>"),
        make_pair("Iter::Iter(Iter)", "ForwardIterator<Iter>"),
        make_pair("Iter::Iter(Iter)", "MutableForwardIterator<Iter>"),

        make_pair("operator!=(Iter,Iter)", "EqualityComparable<Iter>"),
        make_pair("operator!=(Iter,Iter)", "ArithmeticLike<Iter>"),
        make_pair("operator!=(Iter,Iter)", "InputIterator<Iter>"),
        make_pair("operator!=(Iter,Iter)", "ForwardIterator<Iter>"),
        make_pair("operator!=(Iter,Iter)", "MutableForwardIterator<Iter>"),

        make_pair("operator++(Iter)", "ArithmeticLike<Iter>"),
        make_pair("operator++(Iter)", "InputIterator<Iter>"),
        make_pair("operator++(Iter)", "OutputIterator<Iter,Value?>"),
        make_pair("operator++(Iter)", "BasicOutputIterator<Iter>"),
        make_pair("operator++(Iter)", "ForwardIterator<Iter>"),
        make_pair("operator++(Iter)", "MutableForwardIterator<Iter>"),

        make_pair("operator*(Iter)", "Dereferenceable<Iter>"),
        make_pair("operator*(Iter)", "InputIterator<Iter>"),
        make_pair("operator*(Iter)", "OutputIterator<Iter,Value?>"),
        make_pair("operator*(Iter)", "BasicOutputIterator<Iter>"),
        make_pair("operator*(Iter)", "ForwardIterator<Iter>"),
        make_pair("operator*(Iter)", "MutableForwardIterator<Iter>"),

        make_pair("operator=(*Iter,T)", "Assignable<*Iter,T>"),
        make_pair("operator=(*Iter,T)", "OutputIterator<Iter,Value?>"),
        make_pair("operator=(*Iter,T)", "BasicOutputIterator<Iter>"),
        make_pair("operator=(*Iter,T)", "MutableForwardIterator<Iter>")
    };
    int nrels = sizeof(rels) / sizeof(pair<string, string>);

    Context cxt(objs, objs + nobjs, atts, atts + natts);
    Relation rel(cxt, rels, rels + nrels);
    Lattice lat(rel, true);

    write_table(cerr, rel);
    write_graphviz(cout, lat);

    return 0;
}