Clasp::Asp::LogicProgram::MinimizeRule Struct Reference

List of all members.

Public Attributes
WeightLitVec	lits_
MinimizeRule *	next_

---

Detailed Description

Definition at line 491 of file logic_program.h.

---

Member Data Documentation

WeightLitVec Clasp::Asp::LogicProgram::MinimizeRule::lits_

Definition at line 492 of file logic_program.h.

MinimizeRule* Clasp::Asp::LogicProgram::MinimizeRule::next_

Definition at line 493 of file logic_program.h.

---

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

• logic_program.h