Clasp::Asp::SccChecker::Call Struct Reference

List of all members.

Public Attributes
uint32	min
uint32	next
uintp	node

---

Detailed Description

Definition at line 683 of file logic_program_types.h.

---

Member Data Documentation

uint32 Clasp::Asp::SccChecker::Call::min

Definition at line 685 of file logic_program_types.h.

uint32 Clasp::Asp::SccChecker::Call::next

Definition at line 686 of file logic_program_types.h.

uintp Clasp::Asp::SccChecker::Call::node

Definition at line 684 of file logic_program_types.h.

---

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

• logic_program_types.h