invert()

Index syten::T3N::invert	(	Lattice::Translator const &	trans,
		Tree::Position const &	pos
	)

Searches for the Index when given the position.

References std::map< K, T >::cbegin(), std::map< K, T >::cend(), and std::find_if().

Referenced by syten::T3N::ProjectedPurification::Purifier::construct_purified_pair(), and syten::T3N::ProjectedPurification::Purifier::purify_types_rec().

Here is the call graph for this function:

Here is the caller graph for this function: