FormulaClauseIndexes Struct Reference

List of all members.

Public Member Functions
	FormulaClauseIndexes (int *const &fformulaIndex, int *const &cclauseIndex)
	~FormulaClauseIndexes ()
Public Attributes
int *	formulaIndex
int *	clauseIndex

---

Detailed Description

Definition at line 116 of file mlnhelper.h.

---

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

• src/logic/mlnhelper.h

---