Public Member Functions
bool	binary (Literal p, Literal x, Literal y) const
	Propagate (Solver &a_s)
bool	unary (Literal p, Literal x) const
Public Attributes
Solver *	s

Detailed Description

Definition at line 272 of file shared_context.cpp.

Constructor & Destructor Documentation

Clasp::ShortImplicationsGraph::Propagate::Propagate ( Solver & a_s ) [inline]

Definition at line 273 of file shared_context.cpp.

bool Clasp::ShortImplicationsGraph::Propagate::binary	(	Literal	p,
		Literal	x,
		Literal	y
	)		const `[inline]`

Definition at line 275 of file shared_context.cpp.

bool Clasp::ShortImplicationsGraph::Propagate::unary	(	Literal	p,
		Literal	x
	)		const `[inline]`

Definition at line 274 of file shared_context.cpp.

Definition at line 282 of file shared_context.cpp.

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