ceta::test_result_t Member List

This is the complete list of members for ceta::test_result_t, including all inherited members.

counterexample(const test_result_t &result)	ceta::test_result_t	[friend]
operator bool()	ceta::test_result_t	[inline]
reachable_set(const test_result_t &result)	ceta::test_result_t	[friend]
test_result_t()	ceta::test_result_t	[inline]
test_result_t(const term_t &term, const std::set< state_t > &set)	ceta::test_result_t	[inline]

---