PredicateTerm Class Reference

This class represents a predicate term (stores the predicate id and term no inside the predicate). More...

#include <variable.h>

List of all members.

Public Member Functions
	PredicateTerm (int &predId, int &termno)
int	getPredId ()
int	getTermno ()

---

Detailed Description

This class represents a predicate term (stores the predicate id and term no inside the predicate).

Definition at line 79 of file variable.h.

---

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

• src/infer/variable.h

---