Lines Matching refs:Partition
0 // partition.h
16 // \file Functions and classes to create a partition of states
32 // \class Partition
37 class Partition {
50 Partition() {}
52 Partition(T num_states) {
56 ~Partition() {
61 // Create an empty partition for num_states. At initialization time
100 // partition. Once elements have been added to a class, you need to
194 // partition, create new once and update the queue of active classes
250 // iterate over members of a class in a partition
253 typedef typename Partition<T>::Element Element;
255 PartitionIterator(const Partition<T>& partition, T class_id)
256 : p_(partition),
277 const Partition<T>& p_;
