Clasp::ImpliedLiteral Struct Reference

Stores information about a literal that is implied on an earlier level than the current decision level. More...

#include <solver_types.h>

List of all members.

Public Types
typedef Assignment::ReasonWithData	AnteInfo
Public Member Functions
	ImpliedLiteral (Literal a_lit, uint32 a_level, const Antecedent &a_ante, uint32 a_data=UINT32_MAX)
Public Attributes
AnteInfo	ante
uint32	level
Literal	lit

---

Detailed Description

Stores information about a literal that is implied on an earlier level than the current decision level.

Definition at line 806 of file solver_types.h.

---

Member Typedef Documentation

typedef Assignment::ReasonWithData Clasp::ImpliedLiteral::AnteInfo

Definition at line 807 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ImpliedLiteral::ImpliedLiteral	(	Literal	a_lit,
		uint32	a_level,
		const Antecedent &	a_ante,
		uint32	a_data = UINT32_MAX
	)		[inline]

Definition at line 808 of file solver_types.h.

---

Member Data Documentation

AnteInfo Clasp::ImpliedLiteral::ante

The reason why lit is implied on decision-level level

Definition at line 815 of file solver_types.h.

uint32 Clasp::ImpliedLiteral::level

The earliest decision level on which lit is implied

Definition at line 814 of file solver_types.h.

Literal Clasp::ImpliedLiteral::lit

The implied literal

Definition at line 813 of file solver_types.h.

---

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

• solver_types.h