testsuite/TestComponentGraph.cpp

Go to the documentation of this file.

/* dlvhex -- Answer-Set Programming with external interfaces.
 * Copyright (C) 2005, 2006, 2007 Roman Schindlauer
 * Copyright (C) 2006, 2007, 2008, 2009, 2010 Thomas Krennwallner
 * Copyright (C) 2009, 2010 Peter Schüller
 * 
 * This file is part of dlvhex.
 *
 * dlvhex is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as
 * published by the Free Software Foundation; either version 2.1 of
 * the License, or (at your option) any later version.
 *
 * dlvhex is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with dlvhex; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
 * 02110-1301 USA.
 */

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif // HAVE_CONFIG_H

#include <boost/cstdint.hpp>
#include "dlvhex2/ComponentGraph.h"
#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/PluginInterface.h"

#define BOOST_TEST_MODULE "TestComponentGraph"
#include <boost/test/unit_test.hpp>

#include "fixturesExt1.h"
#include "fixturesMCS.h"
#include "graphviz.h"

#include <iostream>
#include <fstream>
#include <cstdlib>

#define LOG_REGISTRY_PROGRAM(ctx) \
  LOG(INFO,*ctx.registry()); \
    RawPrinter printer(std::cerr, ctx.registry()); \
    std::cerr << "edb = " << *ctx.edb << std::endl; \
    LOG(INFO,"idb"); \
    printer.printmany(ctx.idb,"\n"); \
    std::cerr << std::endl; \
    LOG(INFO,"idb end");

LOG_INIT(Logger::ERROR | Logger::WARNING)

DLVHEX_NAMESPACE_USE

BOOST_AUTO_TEST_CASE(testNonext) 
{
  ProgramCtx ctx;
  ctx.setupRegistry(RegistryPtr(new Registry));

  std::stringstream ss;
  ss <<
    "a v f(X)." << std::endl <<
    "b :- f(a), not f(b)." << std::endl <<
    ":- f(b), not f(a)." << std::endl;
  InputProviderPtr ip(new InputProvider);
  ip->addStreamInput(ss, "testinput");
  ModuleHexParser parser;
  BOOST_REQUIRE_NO_THROW(parser.parse(ip, ctx));

    //LOG_REGISTRY_PROGRAM(ctx);

  DependencyGraph depgraph(ctx, ctx.registry());
    std::vector<ID> auxRules;
    depgraph.createDependencies(ctx.idb, auxRules);

    ComponentGraph compgraph(depgraph, ctx, ctx.registry());

  // TODO test dependencies (will do manually with graphviz at the moment)

  const char* fnamev = "testComponentGraphNonextVerbose.dot";
  LOG(INFO,"dumping verbose graph to " << fnamev);
  std::ofstream filev(fnamev);
  compgraph.writeGraphViz(filev, true);
  makeGraphVizPdf(fnamev);

  const char* fnamet = "testComponentGraphNonextTerse.dot";
  LOG(INFO,"dumping terse graph to " << fnamet);
  std::ofstream filet(fnamet);
  compgraph.writeGraphViz(filet, false);
  makeGraphVizPdf(fnamet);
}

BOOST_FIXTURE_TEST_CASE(testExt1, ProgramExt1ProgramCtxDependencyGraphFixture) 
{
  LOG(INFO,"createing compgraph");
  ComponentGraph compgraph(depgraph, ctx, ctx.registry());

  // TODO test scc infos (will do manually with graphviz at the moment)

  const char* fnamev = "testComponentGraphExt1Verbose.dot";
  LOG(INFO,"dumping verbose graph to " << fnamev);
  std::ofstream filev(fnamev);
  compgraph.writeGraphViz(filev, true);
  makeGraphVizPdf(fnamev);

  const char* fnamet = "testComponentGraphExt1Terse.dot";
  LOG(INFO,"dumping terse graph to " << fnamet);
  std::ofstream filet(fnamet);
  compgraph.writeGraphViz(filet, false);
  makeGraphVizPdf(fnamet);

    #warning TODO create new testcases for EvalGraphBuilder instead of component collapsing tests
    #if 0
    // test collapsing (poor (wo)man's way)
    // [we trust on the order of components to stay the same!]
    {
        LOG(INFO,"components are ordered as follows:" << printrange(
                    boost::make_iterator_range(compgraph.getComponents())));
        typedef ComponentGraph::Component Component;
        ComponentGraph::ComponentIterator it, itend, itc0, itc1, itc2, itc3, itc4, itc5, itc6;
        boost::tie(it, itend) = compgraph.getComponents();
        itc0 = it; it++;
        itc1 = it; it++;
        itc2 = it; it++;
        itc3 = it; it++;
        itc4 = it; it++;
        itc5 = it; it++;
        itc6 = it; it++;
        assert(it == itend);

        std::set<Component> coll0;
        coll0.insert(*itc0);
        coll0.insert(*itc1);
        coll0.insert(*itc4);

        std::set<Component> coll1;
        coll1.insert(*itc2);
        coll1.insert(*itc5);

        std::set<Component> coll2;
        coll2.insert(*itc3);
        coll2.insert(*itc6);

        Component comp0 = compgraph.collapseComponents(coll0);
        LOG(INFO,"collapsing 0 yielded component " << comp0);
        Component comp1 = compgraph.collapseComponents(coll1);
        LOG(INFO,"collapsing 1 yielded component " << comp1);
        Component comp2 = compgraph.collapseComponents(coll2);
        LOG(INFO,"collapsing 2 yielded component " << comp2);
    }
    #endif

    // print final result
    {
        const char* fnamev = "testComponentGraphExt1CollapsedVerbose.dot";
        LOG(INFO,"dumping verbose graph to " << fnamev);
        std::ofstream filev(fnamev);
        compgraph.writeGraphViz(filev, true);
        makeGraphVizPdf(fnamev);

        const char* fnamet = "testComponentGraphExt1CollapsedTerse.dot";
        LOG(INFO,"dumping terse graph to " << fnamet);
        std::ofstream filet(fnamet);
        compgraph.writeGraphViz(filet, false);
        makeGraphVizPdf(fnamet);
    }
}

// example using MCS-IE encoding from KR 2010 for calculation of equilibria in medical example
BOOST_FIXTURE_TEST_CASE(testMCSMedEQ,ProgramMCSMedEQProgramCtxDependencyGraphFixture) 
{
    ComponentGraph compgraph(depgraph, ctx, ctx.registry());

  // TODO test scc infos (will do manually with graphviz at the moment)

  const char* fnamev = "testComponentGraphMCSMedEqVerbose.dot";
  LOG(INFO,"dumping verbose graph to " << fnamev);
  std::ofstream filev(fnamev);
  compgraph.writeGraphViz(filev, true);
  makeGraphVizPdf(fnamev);

  const char* fnamet = "testComponentGraphMCSMedEqTerse.dot";
  LOG(INFO,"dumping terse graph to " << fnamet);
  std::ofstream filet(fnamet);
  compgraph.writeGraphViz(filet, false);
  makeGraphVizPdf(fnamet);
}

// example using MCS-IE encoding from KR 2010 for calculation of diagnoses in medical example
BOOST_FIXTURE_TEST_CASE(testMCSMedD,ProgramMCSMedEQProgramCtxDependencyGraphFixture) 
{
    //LOG_REGISTRY_PROGRAM(ctx);

    ComponentGraph compgraph(depgraph, ctx, ctx.registry());

  // TODO test scc infos (will do manually with graphviz at the moment)

  const char* fnamev = "testComponentGraphMCSMedDVerbose.dot";
  LOG(INFO,"dumping verbose graph to " << fnamev);
  std::ofstream filev(fnamev);
  compgraph.writeGraphViz(filev, true);
  makeGraphVizPdf(fnamev);

  const char* fnamet = "testComponentGraphMCSMedDTerse.dot";
  LOG(INFO,"dumping terse graph to " << fnamet);
  std::ofstream filet(fnamet);
  compgraph.writeGraphViz(filet, false);
  makeGraphVizPdf(fnamet);
}

// TODO test SCCs containing extatoms