Complexity classes

Aggregation module for the class definitions and their relationships: time and space classes, P, NP, randomized and nonuniform classes, pointwise and eventual promise circuit-size classes, the logspace-uniform circuit containment in P, function classes, reductions, containments, and the time hierarchy.