symcmp.hh File Reference

various algorithms for comparison of symbolic (sub-)heaps More...

#include "symheap.hh"
#include <map>
#include <vector>

Go to the source code of this file.

Typedefs
typedef TValMap	TValMapBidir [2]
	either intra-heap or inter-heap value mapping

Functions
bool	areEqual (const SymHeap &sh1, const SymHeap &sh2)
bool	checkNonPosValues (int a, int b)
template<typename TMap >
bool	mapBidir (TMap bMap[2], const typename TMap::key_type v1, const typename TMap::key_type v2)

Detailed Description

various algorithms for comparison of symbolic (sub-)heaps

Definition in file symcmp.hh.

Typedef Documentation

typedef TValMap TValMapBidir[2]

either intra-heap or inter-heap value mapping

Definition at line 33 of file symcmp.hh.

Function Documentation

bool areEqual	(	const SymHeap &	sh1,
		const SymHeap &	sh2
	)

Todo:

some dox

bool checkNonPosValues ( int  a, int  b  )

inline

Definition at line 40 of file symcmp.hh.

bool mapBidir	(	TMap	bMap[2],
		const typename TMap::key_type	v1,
		const typename TMap::key_type	v2
	)

Definition at line 51 of file symcmp.hh.