Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
std::experi...::Predicate(3)  C++ Standard Libary std::experi...::Predicate(3)

NAME
       std::experimental::ranges::Predicate - std::experimental::ranges::Pred-
       icate

Synopsis
	  Defined in header <experimental/ranges/concepts>
	  template < class F, class... Args >

	  concept bool Predicate =			    (ranges TS)
	  RegularInvocable<F, Args...> &&

	  Boolean<std::result_of_t<F&&(Args&&...)>>;

	  The  concept	Predicate<F,  Args...> specifies that F	is a predicate
       that accepts
	  arguments whose types	and value categories are encoded  by  Args...,
       i.e., it	can be
	  invoked with these arguments to produce a Boolean result.

	  Note that RegularInvocable requires the invocation to	not modify ei-
       ther the	callable
	  object or the	arguments and be equality-preserving.

	 Equality preservation

	  An  expression is equality preserving	if it results in equal outputs
       given equal
	  inputs.

	    * The inputs to an expression consist of its operands.
	    * The outputs of an	expression  consist  of	 its  result  and  all
       operands	modified by
	      the expression (if any).

	  Every	 expression  required to be equality preserving	is further re-
       quired to be
	  stable: two evaluations of such an expression	with  the  same	 input
       objects must have
	  equal	 outputs absent	any explicit intervening modification of those
       input objects.

http://cppreference.com		  2022.07.31	  std::experi...::Predicate(3)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=std::experimental::ranges::Predicate&sektion=3&manpath=FreeBSD+Ports+15.0>

home | help