Clasp::Asp::LogicProgram::Incremental Struct Reference

List of all members.

Public Member Functions
	Incremental ()
Public Attributes
VarVec	frozen
uint32	startAtom
uint32	startAux
uint32	startScc
VarVec	update

---

Detailed Description

Definition at line 495 of file logic_program.h.

---

Constructor & Destructor Documentation

Clasp::Asp::LogicProgram::Incremental::Incremental

(

)

Definition at line 134 of file logic_program.cpp.

---

Member Data Documentation

VarVec Clasp::Asp::LogicProgram::Incremental::frozen

Definition at line 500 of file logic_program.h.

uint32 Clasp::Asp::LogicProgram::Incremental::startAtom

Definition at line 497 of file logic_program.h.

uint32 Clasp::Asp::LogicProgram::Incremental::startAux

Definition at line 498 of file logic_program.h.

uint32 Clasp::Asp::LogicProgram::Incremental::startScc

Definition at line 499 of file logic_program.h.

VarVec Clasp::Asp::LogicProgram::Incremental::update

Definition at line 501 of file logic_program.h.

---

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

• logic_program.h
• logic_program.cpp