Clasp::Asp::LogicProgram::AspOptions Struct Reference

Options for the Asp-Preprocessor. More...

#include <logic_program.h>

Collaboration diagram for Clasp::Asp::LogicProgram::AspOptions:

Public Member Functions
	AspOptions ()
AspOptions &	iterations (uint32 it)
AspOptions &	depthFirst ()
AspOptions &	backpropagate ()
AspOptions &	noScc ()
AspOptions &	noEq ()
AspOptions &	disableGamma ()
AspOptions &	ext (ExtendedRuleMode m)
AspOptions &	supportedModels ()

Public Attributes
ExtendedRuleMode	erMode
uint32	iters: 26
uint32	noSCC: 1
uint32	dfOrder: 1
uint32	backprop: 1
uint32	normalize: 1
uint32	suppMod: 1
uint32	noGamma: 1

Static Public Attributes
static const uint32	MAX_EQ_ITERS = static_cast<uint32>( (1u<<26)-1 )

Detailed Description

Options for the Asp-Preprocessor.

Constructor & Destructor Documentation

Clasp::Asp::LogicProgram::AspOptions::AspOptions ( )

inline

Member Function Documentation

AspOptions& Clasp::Asp::LogicProgram::AspOptions::backpropagate ( )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::depthFirst ( )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::disableGamma ( )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::ext ( ExtendedRuleMode  m )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::iterations ( uint32  it )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::noEq ( )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::noScc ( )

inline

AspOptions& Clasp::Asp::LogicProgram::AspOptions::supportedModels ( )

inline

Here is the call graph for this function:

Member Data Documentation

uint32 Clasp::Asp::LogicProgram::AspOptions::backprop

Enable backpropagation?

uint32 Clasp::Asp::LogicProgram::AspOptions::dfOrder

Classify in depth-first order?

ExtendedRuleMode Clasp::Asp::LogicProgram::AspOptions::erMode

ExtendedRuleMode.

uint32 Clasp::Asp::LogicProgram::AspOptions::iters

Number of iterations - 0 = disabled.

const uint32 Clasp::Asp::LogicProgram::AspOptions::MAX_EQ_ITERS = static_cast<uint32>( (1u<<26)-1 )

static

uint32 Clasp::Asp::LogicProgram::AspOptions::noGamma

Disable creation of gamma rules for non-hcf disjunctions?

uint32 Clasp::Asp::LogicProgram::AspOptions::normalize

Canonically order program

uint32 Clasp::Asp::LogicProgram::AspOptions::noSCC

Disable scc checking, i.e. no unfounded set checking?

uint32 Clasp::Asp::LogicProgram::AspOptions::suppMod

Compute supported models (noEq() + noScc()).

---

The documentation for this struct was generated from the following file:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/logic_program.h