VarsGroundedType Struct Reference

List of all members.

Public Member Functions
	VarsGroundedType ()
	VarsGroundedType (const VarsGroundedType &vgt)
Public Attributes
Array< Term * >	vars
bool	isGrounded
int	typeId
int	numGndings

---

Detailed Description

Definition at line 69 of file clausehelper.h.

---

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

• src/logic/clausehelper.h

---