VarsTypeId Struct Reference

List of all members.

Public Attributes
Array< Term * >	vars
int	typeId

---

Detailed Description

Definition at line 81 of file predicate.h.

---

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

• src/logic/predicate.h

---