properties.hpp File Reference

Testing properties to be used by randomize unit testing to check invariants. More...

#include "generators.hpp"

Go to the source code of this file.

Classes
class	pasl::data::chunkedbagproperties< Bag_pair >
class	pasl::data::chunkedbagproperties< Bag_pair >::push_pop_sequence_same
class	pasl::data::chunkedbagproperties< Bag_pair >::split_same
class	pasl::data::chunkedbagproperties< Bag_pair >::concat_same
class	pasl::data::chunkedbagproperties< Bag_pair >::iterator_same
class	pasl::data::chunkedbagproperties< Bag_pair >::for_each_segment_correct
class	pasl::data::chunkedbagproperties< Bag_pair >::pushn_popn_sequence_same
class	pasl::data::chunkedbagproperties< Bag_pair >::backn_frontn_sequence_same
class	pasl::data::chunkseqproperties< Container_pair >
class	pasl::data::chunkseqproperties< Container_pair >::push_pop_sequence_same
class	pasl::data::chunkseqproperties< Container_pair >::split_same
class	pasl::data::chunkseqproperties< Container_pair >::split_in_range_same
class	pasl::data::chunkseqproperties< Container_pair >::concat_same
class	pasl::data::chunkseqproperties< Container_pair >::random_access_same
class	pasl::data::chunkseqproperties< Container_pair >::iterator_same
class	pasl::data::chunkseqproperties< Container_pair >::random_access_iterator_same
class	pasl::data::chunkseqproperties< Container_pair >::insert_same
class	pasl::data::chunkseqproperties< Container_pair >::erase_same
class	pasl::data::chunkseqproperties< Container_pair >::for_each_segment_correct
class	pasl::data::chunkseqproperties< Container_pair >::for_each_in_interval_correct
class	pasl::data::chunkseqproperties< Container_pair >::pushn_popn_sequence_same
class	pasl::data::chunkseqproperties< Container_pair >::backn_frontn_sequence_same
class	pasl::data::mapproperties< Container_pair >
class	pasl::data::mapproperties< Container_pair >::map_same

Namespaces
	pasl
	pasl::data

Macros
#define	_PASL_DATA_TEST_PROPERTIES_H_

Detailed Description

Author

Umut A. Acar

Arthur Chargueraud

Mike Rainey

Date

2013-2018

Copyright

2014 Umut A. Acar, Arthur Chargueraud, Mike Rainey

Definition in file properties.hpp.

Macro Definition Documentation

#define _PASL_DATA_TEST_PROPERTIES_H_

Definition at line 16 of file properties.hpp.