SoftSearchPatternSpecialKey Struct Reference

#include <search_replace.hpp>

Inheritance diagram for SoftSearchPatternSpecialKey:

Collaboration diagram for SoftSearchPatternSpecialKey:

List of all members.

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

---

Detailed Description

Definition at line 457 of file search_replace.hpp.

---

Member Function Documentation

virtual shared_ptr<Key> SoftSearchPatternSpecialKey::DecidedCompare	(	const CompareReplace *	sr,
		const TreePtrInterface &	x,
		bool	can_key,
		Conjecture &	conj
	)		[pure virtual]

Implemented in NestedBase.

---

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

• search_replace.hpp