Lines Matching refs:Partition
0 // partition.h
18 // \file Functions and classes to create a partition of states
37 // \class Partition
42 class Partition {
55 Partition() {}
57 Partition(T num_states) {
61 ~Partition() {
66 // Create an empty partition for num_states. At initialization time
105 // partition. Once elements have been added to a class, you need to
199 // partition, create new once and update the queue of active classes
255 // iterate over members of a class in a partition
258 typedef typename Partition<T>::Element Element;
260 PartitionIterator(const Partition<T>& partition, T class_id)
261 : p_(partition),
282 const Partition<T>& p_;
