IsLabelReached Struct Reference

Inheritance diagram for IsLabelReached:

Collaboration diagram for IsLabelReached:

List of all members.

Classes
struct	Reaching
Public Member Functions
virtual SPECIAL_NODE_FUNCTIONS void	FlushCache ()
virtual bool	DecidedCompare (const CompareReplace *sr, const TreePtrInterface &xx, bool can_key, Conjecture &conj)
Public Attributes
TreePtr< Expression >	pattern

---

Detailed Description

Definition at line 340 of file state_out.cpp.

---

Member Function Documentation

virtual bool IsLabelReached::DecidedCompare	(	const CompareReplace *	sr,
		const TreePtrInterface &	xx,
		bool	can_key,
		Conjecture &	conj
	)		[inline, virtual]

Implements SoftSearchPattern.

Definition at line 349 of file state_out.cpp.

References ASSERT, CompareReplace::coupling_keys, CouplingKeys::GetCoupled(), INDENT, and TRACE.

virtual SPECIAL_NODE_FUNCTIONS void IsLabelReached::FlushCache

(

)

[inline, virtual]

Reimplemented from Flushable.

Definition at line 343 of file state_out.cpp.

---

Member Data Documentation

TreePtr<Expression> IsLabelReached::pattern

Definition at line 374 of file state_out.cpp.

---

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

• state_out.cpp