DomainTransitionGraph::CompareCondsIgnoringType Struct Reference

#include <domain_transition_graph.h>

List of all members.

Public Member Functions
bool	operator() (const Edge &lhs, const Edge &rhs) const

---

Detailed Description

Definition at line 17 of file preprocess/domain_transition_graph.h.

---

Member Function Documentation

bool DomainTransitionGraph::CompareCondsIgnoringType::operator()	(	const Edge &	lhs,
		const Edge &	rhs
	)		const [inline]

Definition at line 18 of file preprocess/domain_transition_graph.h.

---

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

• preprocess/domain_transition_graph.h