LitIdxVarIdsGndings Struct Reference

List of all members.

Public Attributes
unsigned int	litIdx
Array< int >	varIds
ArraysAccessor< int >	varGndings
Array< Predicate * >	subseqGndLits
bool	litUnseen
Array< Predicate * >	bannedPreds

---

Detailed Description

Definition at line 87 of file clausehelper.h.

---

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

• src/logic/clausehelper.h

---