#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include <boost/shared_ptr.hpp>
Go to the source code of this file.
Definition in file State.h.
Definition at line 47 of file State.h.