Clasp::Lookahead::Params Struct Reference

#include <lookahead.h>

List of all members.

Public Member Functions
Params &	addImps (bool b)
Params &	lookahead (Type t)
Params &	nant (bool b)
	Params (Type t=atom_lookahead)
Public Attributes
bool	restrictNant
bool	topLevelImps
Type	type

---

Detailed Description

Definition at line 147 of file lookahead.h.

---

Constructor & Destructor Documentation

Clasp::Lookahead::Params::Params

(

Type

t = atom_lookahead

)

[inline]

Definition at line 148 of file lookahead.h.

---

Member Function Documentation

Params& Clasp::Lookahead::Params::addImps

(

bool

b

)

[inline]

Definition at line 150 of file lookahead.h.

Params& Clasp::Lookahead::Params::lookahead

(

Type

t

)

[inline]

Definition at line 149 of file lookahead.h.

Params& Clasp::Lookahead::Params::nant

(

bool

b

)

[inline]

Definition at line 151 of file lookahead.h.

---

Member Data Documentation

bool Clasp::Lookahead::Params::restrictNant

Definition at line 154 of file lookahead.h.

bool Clasp::Lookahead::Params::topLevelImps

Definition at line 153 of file lookahead.h.

Type Clasp::Lookahead::Params::type

Definition at line 152 of file lookahead.h.

---

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

• lookahead.h