PredIdClauseIndex Struct Reference

List of all members.

Public Member Functions
	PredIdClauseIndex (const int &ppredId, int *const &cclauseIndex)
	~PredIdClauseIndex ()
Public Attributes
int	predId
int *	clauseIndex

---

Detailed Description

Definition at line 105 of file mlnhelper.h.

---

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

• src/logic/mlnhelper.h

---