carefree_internal::pred::seq 命名空间参考

函数
template<class T = int>
condition< std::vector< T > >	len_lt (size_t x)
template<class T = int>
condition< std::vector< T > >	len_gt (size_t x)
template<class T = int>
condition< std::vector< T > >	len_eq (size_t x)
template<class T = int>
condition< std::vector< T > >	len_leq (size_t x)
template<class T = int>
condition< std::vector< T > >	len_geq (size_t x)
template<class T = int>
condition< std::vector< T > >	len_neq (size_t x)
template<class T = int>
condition< std::vector< T > >	len_inrange (size_t l, size_t r)
template<class T = int>
condition< std::vector< T > >	empty ()
template<class T = int>
condition< std::vector< T > >	unempty ()
template<class T = int>
condition< std::vector< T > >	increase ()
template<class T = int>
condition< std::vector< T > >	decrease ()

函数说明

decrease()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::decrease

(

)

函数调用图:

这是这个函数的调用关系图:

empty()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::empty

(

)

increase()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::increase

(

)

函数调用图:

这是这个函数的调用关系图:

len_eq()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_eq

(

size_t

x

)

len_geq()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_geq

(

size_t

x

)

len_gt()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_gt

(

size_t

x

)

len_inrange()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_inrange	(	size_t	l,
		size_t	r )

len_leq()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_leq

(

size_t

x

)

len_lt()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_lt

(

size_t

x

)

len_neq()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::len_neq

(

size_t

x

)

unempty()

template<class T = int>

condition< std::vector< T > > carefree_internal::pred::seq::unempty

(

)