Clasp::Lookahead::LitNode Struct Reference

List of all members.

Public Member Functions
	LitNode (Literal x)
Public Attributes
Literal	lit
NodeId	next

---

Detailed Description

Definition at line 188 of file lookahead.h.

---

Constructor & Destructor Documentation

Clasp::Lookahead::LitNode::LitNode

(

Literal

x

)

[inline]

Definition at line 189 of file lookahead.h.

---

Member Data Documentation

Literal Clasp::Lookahead::LitNode::lit

Definition at line 190 of file lookahead.h.

NodeId Clasp::Lookahead::LitNode::next

Definition at line 191 of file lookahead.h.

---

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

• lookahead.h