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

Options for the Asp-Preprocessor. More...

#include <logic_program.h>

List of all members.

Public Member Functions
	AspOptions ()
AspOptions &	backpropagate ()
AspOptions &	depthFirst ()
AspOptions &	disableGamma ()
AspOptions &	ext (ExtendedRuleMode m)
AspOptions &	iterations (uint32 it)
AspOptions &	noEq ()
AspOptions &	noScc ()
AspOptions &	supportedModels ()
Public Attributes
uint32	backprop: 1
uint32	dfOrder: 1
ExtendedRuleMode	erMode
uint32	iters: 26
uint32	noGamma: 1
uint32	normalize: 1
uint32	noSCC: 1
uint32	suppMod: 1
Static Public Attributes
static const uint32	MAX_EQ_ITERS = static_cast<uint32>( (1u<<26)-1 )

---

Detailed Description

Options for the Asp-Preprocessor.

Definition at line 95 of file logic_program.h.

---

Constructor & Destructor Documentation

Clasp::Asp::LogicProgram::AspOptions::AspOptions

(

)

[inline]

Definition at line 97 of file logic_program.h.

---

Member Function Documentation

AspOptions& Clasp::Asp::LogicProgram::AspOptions::backpropagate

(

)

[inline]

Definition at line 100 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::depthFirst

(

)

[inline]

Definition at line 99 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::disableGamma

(

)

[inline]

Definition at line 103 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::ext

(

ExtendedRuleMode

m

)

[inline]

Definition at line 104 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::iterations

(

uint32

it

)

[inline]

Definition at line 98 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::noEq

(

)

[inline]

Definition at line 102 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::noScc

(

)

[inline]

Definition at line 101 of file logic_program.h.

AspOptions& Clasp::Asp::LogicProgram::AspOptions::supportedModels

(

)

[inline]

Definition at line 105 of file logic_program.h.

---

Member Data Documentation

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

Enable backpropagation?

Definition at line 110 of file logic_program.h.

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

Classify in depth-first order?

Definition at line 109 of file logic_program.h.

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

ExtendedRuleMode.

Definition at line 106 of file logic_program.h.

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

Number of iterations - 0 = disabled.

Definition at line 107 of file logic_program.h.

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

Definition at line 96 of file logic_program.h.

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

Disable creation of gamma rules for non-hcf disjunctions?

Definition at line 113 of file logic_program.h.

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

Canonically order program

Definition at line 111 of file logic_program.h.

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

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

Definition at line 108 of file logic_program.h.

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

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

Definition at line 112 of file logic_program.h.

---

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

• logic_program.h