Clasp::ClauseCreator::Result Struct Reference

A type for storing the result of a clause insertion operation. More...

#include <clause.h>

List of all members.

Public Member Functions
bool	ok () const
	Returns false is clause is conflicting w.r.t current assignment.
	operator bool () const
	Result (ClauseHead *loc=0, Status st=status_open)
bool	unit () const
	Returns true if the clause implies a literal (possibly after backtracking).
Public Attributes
ClauseHead *	local
Status	status

---

Detailed Description

A type for storing the result of a clause insertion operation.

Definition at line 115 of file clause.h.

---

Constructor & Destructor Documentation

Clasp::ClauseCreator::Result::Result	(	ClauseHead *	loc = 0,
		Status	st = status_open
	)		[inline, explicit]

Definition at line 116 of file clause.h.

---

Member Function Documentation

bool Clasp::ClauseCreator::Result::ok

(

)

const [inline]

Returns false is clause is conflicting w.r.t current assignment.

Definition at line 122 of file clause.h.

Clasp::ClauseCreator::Result::operator bool

(

)

const [inline]

Definition at line 125 of file clause.h.

bool Clasp::ClauseCreator::Result::unit

(

)

const [inline]

Returns true if the clause implies a literal (possibly after backtracking).

Definition at line 124 of file clause.h.

---

Member Data Documentation

ClauseHead* Clasp::ClauseCreator::Result::local

Definition at line 119 of file clause.h.

Status Clasp::ClauseCreator::Result::status

Definition at line 120 of file clause.h.

---

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

• clause.h