Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
painless::skipzero_span< T >::Iterator Class Reference
Collaboration diagram for painless::skipzero_span< T >::Iterator:

Public Types

using iterator_category = std::contiguous_iterator_tag
 
using difference_type = std::ptrdiff_t
 
using value_type = T
 
using pointer = T*
 
using reference = T&
 

Public Member Functions

 Iterator (pointer begin, pointer end)
 
reference operator* () const
 
pointer operator-> ()
 
Iteratoroperator++ ()
 
Iterator operator++ (int)
 
Iteratoroperator-- ()
 
Iterator operator-- (int)
 

Friends

difference_type operator- (const Iterator &a, const Iterator &b)
 
bool operator== (const Iterator &a, const Iterator &b)
 
bool operator!= (const Iterator &a, const Iterator &b)
 

The documentation for this class was generated from the following file: