Clasp::ShortImplicationsGraph::ReverseArc Struct Reference

List of all members.

Public Member Functions
bool	binary (Literal, Literal x, Literal y) const
	ReverseArc (const Solver &a_s, uint32 m, Antecedent &o)
bool	unary (Literal, Literal x) const
Public Attributes
uint32	maxL
Antecedent *	out
const Solver *	s

---

Detailed Description

Definition at line 284 of file shared_context.cpp.

---

Constructor & Destructor Documentation

Clasp::ShortImplicationsGraph::ReverseArc::ReverseArc	(	const Solver &	a_s,
		uint32	m,
		Antecedent &	o
	)		[inline]

Definition at line 285 of file shared_context.cpp.

---

Member Function Documentation

bool Clasp::ShortImplicationsGraph::ReverseArc::binary	(	Literal	,
		Literal	x,
		Literal	y
	)		const [inline]

Definition at line 291 of file shared_context.cpp.

bool Clasp::ShortImplicationsGraph::ReverseArc::unary	(	Literal	,
		Literal	x
	)		const [inline]

Definition at line 286 of file shared_context.cpp.

---

Member Data Documentation

uint32 Clasp::ShortImplicationsGraph::ReverseArc::maxL

Definition at line 296 of file shared_context.cpp.

Antecedent* Clasp::ShortImplicationsGraph::ReverseArc::out

Definition at line 296 of file shared_context.cpp.

const Solver* Clasp::ShortImplicationsGraph::ReverseArc::s

Definition at line 296 of file shared_context.cpp.

---

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

• shared_context.cpp