SoftSearchPattern Struct Reference

#include <search_replace.hpp>

Inheritance diagram for SoftSearchPattern:

Collaboration diagram for SoftSearchPattern:

List of all members.

Public Member Functions
virtual bool	DecidedCompare (const CompareReplace *sr, const TreePtrInterface &x, bool can_key, Conjecture &conj)=0

---

Detailed Description

Definition at line 450 of file search_replace.hpp.

---

Member Function Documentation

virtual bool SoftSearchPattern::DecidedCompare	(	const CompareReplace *	sr,
		const TreePtrInterface &	x,
		bool	can_key,
		Conjecture &	conj
	)		[pure virtual]

Implemented in IsLabelReached, and PointerIs< PRE_RESTRICTION >.

---

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

• search_replace.hpp