ModelChecker.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_H
#define ROSE_BinaryAnalysis_ModelChecker_H

// Include this header if you want everying related to model checking. A better (faster to compile) approach is to
// include Types.h (forward declarations for most things), and only those other headers you actually need.

#include <Rose/BinaryAnalysis/ModelChecker/BasicBlockUnit.h>
#include <Rose/BinaryAnalysis/ModelChecker/Engine.h>
#include <Rose/BinaryAnalysis/ModelChecker/ErrorTag.h>
#include <Rose/BinaryAnalysis/ModelChecker/Exception.h>
#include <Rose/BinaryAnalysis/ModelChecker/ExecutionUnit.h>
#include <Rose/BinaryAnalysis/ModelChecker/ExternalFunctionUnit.h>
#include <Rose/BinaryAnalysis/ModelChecker/FailureUnit.h>
#include <Rose/BinaryAnalysis/ModelChecker/InstructionUnit.h>
#include <Rose/BinaryAnalysis/ModelChecker/NullDereferenceTag.h>
#include <Rose/BinaryAnalysis/ModelChecker/OutOfBoundsTag.h>
#include <Rose/BinaryAnalysis/ModelChecker/PartitionerModel.h>
#include <Rose/BinaryAnalysis/ModelChecker/Path.h>
#include <Rose/BinaryAnalysis/ModelChecker/PathNode.h>
#include <Rose/BinaryAnalysis/ModelChecker/PathPredicate.h>
#include <Rose/BinaryAnalysis/ModelChecker/PathPrioritizer.h>
#include <Rose/BinaryAnalysis/ModelChecker/PathQueue.h>
#include <Rose/BinaryAnalysis/ModelChecker/Periodic.h>
#include <Rose/BinaryAnalysis/ModelChecker/SemanticCallbacks.h>
#include <Rose/BinaryAnalysis/ModelChecker/Settings.h>
#include <Rose/BinaryAnalysis/ModelChecker/SourceLister.h>
#include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
#include <Rose/BinaryAnalysis/ModelChecker/Types.h>
#include <Rose/BinaryAnalysis/ModelChecker/UninitializedVariableTag.h>
#include <Rose/BinaryAnalysis/ModelChecker/Variables.h>
#include <Rose/BinaryAnalysis/ModelChecker/WorkerStatus.h>

#endif