dlvhex
2.5.0
|
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>
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... |
Checking syntax for modular logic programs.
Definition in file MLPSyntaxChecker.h.