Builders for text output. More...

#include "dlvhex2/TextOutputBuilder.h"
#include "dlvhex2/PrintVisitor.h"
#include "dlvhex2/globals.h"
#include "dlvhex2/ResultContainer.h"
#include <iostream>

Include dependency graph for TextOutputBuilder.cpp:

Go to the source code of this file.

Detailed Description

Builders for text output.

Author:: Thomas Krennwallner

Date:: Sun Dec 23 11:07:01 CET 2006

Definition in file TextOutputBuilder.cpp.