cprover
sorted_vector.h File Reference
#include <algorithm>
#include <vector>
#include <utility>
#include <functional>
Include dependency graph for sorted_vector.h:

Go to the source code of this file.

Classes

class  sorted_vector< K, bNoDuplicates, Pr, A >
 

Macros

#define VERSION_SORTED_VECTOR_   0x00010010
 

Functions

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator== (const sorted_vector< K, bNoDuplicates, Pr, A > &x, const sorted_vector< K, bNoDuplicates, Pr, A > &Y_)
 
template<class K , bool bNoDuplicates, class Pr , class A >
bool operator!= (const sorted_vector< K, bNoDuplicates, Pr, A > &x, const sorted_vector< K, bNoDuplicates, Pr, A > &Y_)
 
template<class K , bool bNoDuplicates, class Pr , class A >
bool operator< (const sorted_vector< K, bNoDuplicates, Pr, A > &x, const sorted_vector< K, bNoDuplicates, Pr, A > &Y_)
 
template<class K , bool bNoDuplicates, class Pr , class A >
bool operator> (const sorted_vector< K, bNoDuplicates, Pr, A > &x, const sorted_vector< K, bNoDuplicates, Pr, A > &Y_)
 
template<class K , bool bNoDuplicates, class Pr , class A >
bool operator<= (const sorted_vector< K, bNoDuplicates, Pr, A > &x, const sorted_vector< K, bNoDuplicates, Pr, A > &Y_)
 
template<class K , bool bNoDuplicates, class Pr , class A >
bool operator>= (const sorted_vector< K, bNoDuplicates, Pr, A > &x, const sorted_vector< K, bNoDuplicates, Pr, A > &Y_)
 

Macro Definition Documentation

§ VERSION_SORTED_VECTOR_

#define VERSION_SORTED_VECTOR_   0x00010010

Definition at line 25 of file sorted_vector.h.

Function Documentation

§ operator!=()

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator!= ( const sorted_vector< K, bNoDuplicates, Pr, A > &  x,
const sorted_vector< K, bNoDuplicates, Pr, A > &  Y_ 
)
inline

Definition at line 280 of file sorted_vector.h.

§ operator<()

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator< ( const sorted_vector< K, bNoDuplicates, Pr, A > &  x,
const sorted_vector< K, bNoDuplicates, Pr, A > &  Y_ 
)
inline

Definition at line 284 of file sorted_vector.h.

References sorted_vector< K, bNoDuplicates, Pr, A >::Lt_().

§ operator<=()

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator<= ( const sorted_vector< K, bNoDuplicates, Pr, A > &  x,
const sorted_vector< K, bNoDuplicates, Pr, A > &  Y_ 
)
inline

Definition at line 292 of file sorted_vector.h.

§ operator==()

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator== ( const sorted_vector< K, bNoDuplicates, Pr, A > &  x,
const sorted_vector< K, bNoDuplicates, Pr, A > &  Y_ 
)
inline

Definition at line 276 of file sorted_vector.h.

References sorted_vector< K, bNoDuplicates, Pr, A >::Eq_().

§ operator>()

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator> ( const sorted_vector< K, bNoDuplicates, Pr, A > &  x,
const sorted_vector< K, bNoDuplicates, Pr, A > &  Y_ 
)
inline

Definition at line 288 of file sorted_vector.h.

§ operator>=()

template<class K , bool bNoDuplicates, class Pr , class A >
bool operator>= ( const sorted_vector< K, bNoDuplicates, Pr, A > &  x,
const sorted_vector< K, bNoDuplicates, Pr, A > &  Y_ 
)
inline

Definition at line 296 of file sorted_vector.h.