IndexClause Struct Reference

List of all members.

Public Member Functions
	IndexClause (const int &iindex, Clause *const &cclause)
	~IndexClause ()
Public Attributes
int	index
Clause *	clause

---

Detailed Description

Definition at line 73 of file mlnhelper.h.

---

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

• src/logic/mlnhelper.h

---