dlvhex  2.5.0
include/dlvhex2/MLPSyntaxChecker.h File Reference

Checking syntax for modular logic programs. More...

#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
#include <boost/multi_index_container.hpp>
#include <boost/multi_index/member.hpp>
#include <boost/multi_index/ordered_index.hpp>
#include <boost/multi_index/sequenced_index.hpp>
#include <boost/multi_index/identity.hpp>
#include <iostream>
#include <iterator>
#include <string>
Include dependency graph for MLPSyntaxChecker.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  MLPSyntaxChecker
 The complete class to perform syntactic checking on the modular logic programs. More...

Detailed Description

Checking syntax for modular logic programs.

Author:
Tri Kurniawan Wijaya
Date:
Fri 02 Sep 2011 03:29:05 PM CEST

Definition in file MLPSyntaxChecker.h.