Polymake Template Library (PTL) 4.15
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
 NpmGlobal namespace for all classes from the polymake project
  NAVLTraits classes and such related to balanced trees
   CPtrPointer class
   CtreeBalanced binary search tree
   Cnode
   Cnode_accessor_impl
  Nface_map
   Cnode
  Nfl_internal
   Clex_order_iterator
  NGMP
   CerrorException type A constructor of Integer or Rational from const char* throws an exception of this type in case of a syntax error
   CNaNException type: "not a number"
   CZeroDivideException type: "division by zero"
   CBadCastException type: a number can't be casted to a smaller type without overflow or lost of data (e.g. non-integral Rational to Integer)
  Ngraph
   CEdgeMapData structure to store data at the edges of a Graph
   CGraphDirected or undirected finite graphs
   CNodeMapData structure to store data at the nodes of a Graph
  Noperations
   Ccmp
   Ccmp_unorderedComparator only checking for equality, should not be used for sets and other structures requiring total ordering
  CAccurateFloatMinimalistic wrapper for MPFR numbers
  CAnyString
  CArrayContainer class with constant time random access
  Cattrib
  CBitsetContainer class for dense sets of integers
  Cchunk_allocatorMaintains a list of private memory chunks of fixed size
  Ccolor_errorAn exception of this type is thrown by an attempt to assign a wrong value to some color component
  CComplementComplement as GenericSet
  CconvExplicit type converter
  CDivResult of integer division of two numbers (a,b)
  CEquivalenceRelationAn equivalence relation on the integers 0,..,n-1 for a given size n
  CExtGCDResult of the extended gcd calculation for two numbers (a, b)
  CFaceMap
  CFacetList
  Cfirst_of_equalSpecial tags for find_nearest denoting the first and last occurrence of a given key in a multi-set
  Cfunction_argument
  CGenericGraphGeneric type for all graph classes
  CGenericMatrixGeneric type for matrices
  CGenericMutableSetGeneric type for ordered mutable sets
  CGenericSetGeneric type for ordered sets
  CGenericVectorGeneric type for vectors
  CHeap
  CHSVColor description in HSV space
  CIncidenceMatrix0/1 incidence matrix
  Cinput_truncator
  CIntegerIntegral number of unlimited precision
  Cis_derived_from_instance_of
  Cis_instance_ofCheck whether a type is an instance of a given class template
  Cis_orderedCheck whether the default comparator operations::cmp can be used with the given type
  Cis_unordered_comparableCheck whether the comparator operations::cmp_unordered can be used with the given type
  Citerator_product
  Clist_search
  Clist_search_all
  CListMatrixList of row vectors
  CMapAssociative array based on AVL::tree
  CMatrixMatrix type class which holds the elements in a contiguous array
Additional arithmetic operations for matrices and useful constructions (unit_matrix, diag, ...) are listed at operations
  Cmbind1stReduce a binary meta-function to a unary one by fixing the first argument to a given value
  Cmbind2ndReduce a binary meta-function to a unary one by fixing the second argument to a given value
  Cmbind_constWrappers for arbitrary meta-functions
  Cmerge_list
  Cmget_template_parameter
  CmlistContainer for arbitrary many types
  Cmlist_and_nonemptyLike mlist_and, but delivers false_type on empty input
  Cmlist_append_if
  Cmlist_at
  Cmlist_difference
  Cmlist_even_subsetExtract elements at even positions
  Cmlist_filter_binary
  Cmlist_filter_unary
  Cmlist_find_if
  Cmlist_fold
  Cmlist_fold_transform
  Cmlist_head
  Cmlist_insert
  Cmlist_insert_unique
  Cmlist_intersection
  Cmlist_lengthCompute the length of a meta-list
  Cmlist_match_all
  Cmlist_odd_subsetExtract elements at odd positions
  Cmlist_prepend_if
  Cmlist_reverseReverse the elements in a meta-list
  Cmlist_slice
  Cmlist_sortSort a meta-list according to the given element comparator
  Cmlist_tail
  Cmlist_transform_binaryApply a binary meta-function pairwise to the elements of two meta-lists
  Cmlist_transform_unaryApply a unary meta-function to the elements of a meta-list
  Cmlist_unwrapExtract the single element from a meta-list, preserve the list if it contains more than one element
  Cmlist_wrapConstruct a meta-list with given elements unless it's already a meta-list itself
  Cmnegate_binaryNegate the result of a binary boolean meta-function
  Cmnegate_unaryNegate the result of a unary boolean meta-function
  Cmprefer1stOperation on a pair of types: selects the first one unless it is void
  Cmprefer2ndOperation on a pair of types: selects the second one unless it is void
  Cmproject1stOperation on a pair of types: selects the first one
  Cmproject2ndOperation on a pair of types: selects the second one
  Cmrepeat
  Cmreplace_template_parameter
  CmreplicateConstruct a meta-list consisting of N copies of the same element
  Cmsafely_eval
  Cmselect
  Cmswap_argsSwap arguments passed to a binary meta-function
  Cmtagged_list_add_defaultAppend elements to a tagged meta-list unless another elements with identical tags are already there
  Cmtagged_list_extract
  Cmtagged_list_remove
  Cmtagged_list_replace
  Cno_match
  CNormalRandom
  CnothingStructure denoting the absence of data
  CpairSTL class
  Cpermutation_iterator< permutations_heap >Implementation of the Heap's algorithm by R. Sedgewick
  Cptr_wrapperWrapper for a pointer used as an iterator
  CQuadraticExtensionRealizes quadratic extensions of fields
  CRandomPointsGenerator of uniformly distributed random points on the unit sphere in R^d
  Crange_contractor
  CRationalRational number with unlimited precision
  CRGBColor description in RGB space: Red-Green-Blue additive color model
  CSetAn associative container based on a balanced binary search (AVL) tree. Comparator is a functor defining a total ordering on the element value domain. In most cases, the default choice (lexicographical order) will suffice for your needs
  CSet_with_dimSet_with_dim as GenericSet
  Cshared_array
   CrepAttached objects plus housekeeping
  Cshared_object
  CSingleElementSetCmpA set consisting of exactly one element
  CSmithNormalFormComplete result of computation of Smith normal form
  CSparseMatrixA two-dimensional associative array with row and column indices as keys
  CSparseMatrixStatisticsSparse matrix statistics collection
  CSparseVector
  Cspec_object_traits< TropicalNumber< Addition, Scalar > >
  CTropicalNumber
  Cunary_predicate_selector
  CUniformlyRandom< AccurateFloat >Generator of random AccurateFloat numbers from [0, 1)
  CUniformlyRandom< Bitset >Generator of random Bitset of a given maximal cardinality
  CUniformlyRandom< Rational >
  Cunlimited
  CVectorVector type class which holds the elements in a contiguous array
 NpolymakeNamespace to be used for client code
  NcleanOperations
   CcanCheck whether the given elementary operation is defined for given argument types
   Cassign
   Cpartial_left
   Cpartial_right
  Noperations
   Ccmp
  CAccurateFloatMinimalistic wrapper for MPFR numbers
  CAnyString
  CArrayContainer class with constant time random access
  CBitsetContainer class for dense sets of integers
  CconvExplicit type converter
  CDivResult of integer division of two numbers (a,b)
  CEdgeMapData structure to store data at the edges of a Graph
  CEquivalenceRelationAn equivalence relation on the integers 0,..,n-1 for a given size n
  CExtGCDResult of the extended gcd calculation for two numbers (a, b)
  CFaceMap
  CFacetList
  CGenericGraphGeneric type for all graph classes
  CGenericMatrixGeneric type for matrices
  CGenericSetGeneric type for ordered sets
  CGenericVectorGeneric type for vectors
  CGraphDirected or undirected finite graphs
  CHeap
  CHSVColor description in HSV space
  CIncidenceMatrix0/1 incidence matrix
  CIntegerIntegral number of unlimited precision
  CiosSTL class
  Cis_derived_from_instance_of
  Cis_instance_ofCheck whether a type is an instance of a given class template
  Cis_lossless_convertible_impl2
  CListMatrixList of row vectors
  CMapAssociative array based on AVL::tree
  CMatrixMatrix type class which holds the elements in a contiguous array
Additional arithmetic operations for matrices and useful constructions (unit_matrix, diag, ...) are listed at operations
  Cmbind1stReduce a binary meta-function to a unary one by fixing the first argument to a given value
  Cmbind2ndReduce a binary meta-function to a unary one by fixing the second argument to a given value
  Cmbind_constWrappers for arbitrary meta-functions
  Cmeta_function
  Cmget_template_parameter
  CmlistContainer for arbitrary many types
  Cmlist_and_nonemptyLike mlist_and, but delivers false_type on empty input
  Cmlist_append_if
  Cmlist_at
  Cmlist_difference
  Cmlist_even_subsetExtract elements at even positions
  Cmlist_filter_binary
  Cmlist_filter_unary
  Cmlist_find_first
  Cmlist_find_if
  Cmlist_fold
  Cmlist_fold_transform
  Cmlist_head
  Cmlist_insert
  Cmlist_insert_unique
  Cmlist_intersection
  Cmlist_is_tail_ofCheck whether one list coincides with the tail of another list
  Cmlist_lengthCompute the length of a meta-list
  Cmlist_match_all
  Cmlist_match_impl
  Cmlist_odd_subsetExtract elements at odd positions
  Cmlist_prepend_if
  Cmlist_replace_at
  Cmlist_reverseReverse the elements in a meta-list
  Cmlist_slice
  Cmlist_sortSort a meta-list according to the given element comparator
  Cmlist_tail
  Cmlist_transform_binaryApply a binary meta-function pairwise to the elements of two meta-lists
  Cmlist_transform_unaryApply a unary meta-function to the elements of a meta-list
  Cmlist_unwrapExtract the single element from a meta-list, preserve the list if it contains more than one element
  Cmlist_wrapConstruct a meta-list with given elements unless it's already a meta-list itself
  Cmnegate_binaryNegate the result of a binary boolean meta-function
  Cmnegate_unaryNegate the result of a unary boolean meta-function
  Cmprefer1stOperation on a pair of types: selects the first one unless it is void
  Cmprefer2ndOperation on a pair of types: selects the second one unless it is void
  Cmproject1stOperation on a pair of types: selects the first one
  Cmproject2ndOperation on a pair of types: selects the second one
  Cmrepeat
  Cmreplace_template_parameter
  CmreplicateConstruct a meta-list consisting of N copies of the same element
  Cmsafely_eval
  Cmsafely_eval_boolean
  Cmselect
  Cmswap_argsSwap arguments passed to a binary meta-function
  Cmtagged_list_add_defaultAppend elements to a tagged meta-list unless another elements with identical tags are already there
  Cmtagged_list_concat
  Cmtagged_list_extract
  Cmtagged_list_modify
  Cmtagged_list_remove
  Cmtagged_list_replace
  Cmunwrap_index_sequenceConvert a meta-list of encapsulated integer constants into an index sequence
  Cno_match
  CNodeMapData structure to store data at the nodes of a Graph
  CNormalRandom
  CnothingStructure denoting the absence of data
  CQuadraticExtensionRealizes quadratic extensions of fields
  CRationalRational number with unlimited precision
  Creverse_index_sequenceConstruct a falling index sequence N-1, N-2, ..., 1, 0
  CRGBColor description in RGB space: Red-Green-Blue additive color model
  CSetAn associative container based on a balanced binary search (AVL) tree. Comparator is a functor defining a total ordering on the element value domain. In most cases, the default choice (lexicographical order) will suffice for your needs
  CSmithNormalFormComplete result of computation of Smith normal form
  CSparseMatrixA two-dimensional associative array with row and column indices as keys
  CSparseVector
  CTropicalNumber
  CVectorVector type class which holds the elements in a contiguous array
 NstdSTL namespace
  Citerator_traits< back_insert_iterator< Container > >