dlvhex
2.5.0
|
Forward declarations for many classes, especially shared pointers. More...
Go to the source code of this file.
Typedefs | |
typedef boost::shared_ptr < AnswerSet > | AnswerSetPtr |
typedef boost::shared_ptr < AuxPrinter > | AuxPrinterPtr |
typedef boost::shared_ptr < BaseModelGeneratorFactory > | BaseModelGeneratorFactoryPtr |
typedef boost::shared_ptr < ComponentGraph > | ComponentGraphPtr |
typedef boost::shared_ptr < DependencyGraph > | DependencyGraphPtr |
typedef boost::shared_ptr < LiberalSafetyChecker > | LiberalSafetyCheckerPtr |
typedef boost::shared_ptr < LiberalSafetyPlugin > | LiberalSafetyPluginPtr |
typedef boost::shared_ptr < LiberalSafetyPluginFactory > | LiberalSafetyPluginFactoryPtr |
typedef boost::shared_ptr < EAInputTupleCache > | EAInputTupleCachePtr |
typedef boost::shared_ptr < HexParser > | HexParserPtr |
typedef boost::shared_ptr < HexParserModule > | HexParserModulePtr |
typedef boost::shared_ptr < InputProvider > | InputProviderPtr |
typedef boost::shared_ptr < const Interpretation > | InterpretationConstPtr |
typedef boost::shared_ptr < Interpretation > | InterpretationPtr |
typedef boost::shared_ptr < OrdinaryASPSolver > | OrdinaryASPSolverPtr |
typedef boost::shared_ptr < PluginData > | PluginDataPtr |
typedef boost::shared_ptr < PluginAtom > | PluginAtomPtr |
typedef boost::shared_ptr < PluginContainer > | PluginContainerPtr |
typedef boost::shared_ptr < PluginConverter > | PluginConverterPtr |
typedef boost::shared_ptr < PluginInterface > | PluginInterfacePtr |
typedef boost::shared_ptr < PluginOptimizer > | PluginOptimizerPtr |
typedef boost::shared_ptr < PluginRewriter > | PluginRewriterPtr |
typedef boost::shared_ptr < PredicateMask > | PredicateMaskPtr |
typedef boost::shared_ptr < Registry > | RegistryPtr |
typedef boost::shared_ptr< State > | StatePtr |
typedef boost::shared_ptr<AnswerSet> AnswerSetPtr |
typedef boost::shared_ptr<AuxPrinter> AuxPrinterPtr |
typedef boost::shared_ptr<BaseModelGeneratorFactory> BaseModelGeneratorFactoryPtr |
typedef boost::shared_ptr<ComponentGraph> ComponentGraphPtr |
typedef boost::shared_ptr<DependencyGraph> DependencyGraphPtr |
typedef boost::shared_ptr<EAInputTupleCache> EAInputTupleCachePtr |
typedef boost::shared_ptr<HexParserModule> HexParserModulePtr |
typedef boost::shared_ptr<HexParser> HexParserPtr |
typedef boost::shared_ptr<InputProvider> InputProviderPtr |
typedef boost::shared_ptr<const Interpretation> InterpretationConstPtr |
typedef boost::shared_ptr<Interpretation> InterpretationPtr |
typedef boost::shared_ptr<LiberalSafetyChecker> LiberalSafetyCheckerPtr |
typedef boost::shared_ptr<LiberalSafetyPluginFactory> LiberalSafetyPluginFactoryPtr |
typedef boost::shared_ptr<LiberalSafetyPlugin> LiberalSafetyPluginPtr |
typedef boost::shared_ptr<OrdinaryASPSolver> OrdinaryASPSolverPtr |
typedef boost::shared_ptr<PluginAtom> PluginAtomPtr |
typedef boost::shared_ptr<PluginContainer> PluginContainerPtr |
typedef boost::shared_ptr<PluginConverter> PluginConverterPtr |
typedef boost::shared_ptr<PluginData> PluginDataPtr |
typedef boost::shared_ptr<PluginInterface> PluginInterfacePtr |
typedef boost::shared_ptr<PluginOptimizer> PluginOptimizerPtr |
typedef boost::shared_ptr<PluginRewriter> PluginRewriterPtr |
typedef boost::shared_ptr<PredicateMask> PredicateMaskPtr |
typedef boost::shared_ptr<Registry> RegistryPtr |