belongs_to – Foreng

public interface belongs_to

Check if $x \in \textrm{A}$
$x$ belongs to $A$ if there is at least one element $y$ in $A$ for which $x = y$

Module Procedures

belongs_to_int belongs_to_r32 belongs_to_r64

Module Procedures

public function belongs_to_int(x, A) result(bool)

Check if a value $x$ belongs to a set $\textrm{A}$

Arguments

Type	Intent	Optional	Attributes		Name
integer,	intent(in)			::	x
integer,			dimension(:)	::	A

Return Value logical

public function belongs_to_r32(x, A, eps) result(bool)

Check if a value $x$ belongs to a set within a certain tolerance $\epsilon$ . If $\epsilon$ is not specified, it will automatically calculated using the $\verb|array_epsilon|$ function

Arguments

Type	Intent	Optional	Attributes		Name
real(kind=real32),	intent(in)			::	x
real(kind=real32),			dimension(:)	::	A
real(kind=real32),		optional		::	eps	$x = y \iff \textrm{abs}(x - y) < \epsilon$

Return Value logical

public function belongs_to_r64(x, A, eps) result(bool)

Check if a value $x$ belongs to a set within a certain tolerance $\epsilon$ . If $\epsilon$ is not specified, it will automatically calculated using the $\verb|array_epsilon|$ function

Arguments

Type	Intent	Optional	Attributes		Name
real(kind=real64),	intent(in)			::	x
real(kind=real64),			dimension(:)	::	A
real(kind=real64),		optional		::	eps	$x = y \iff \textrm{abs}(x - y) < \epsilon$

belongs_to Interface

Contents

Module Procedures

public interface belongs_to

Contents

Module Procedures

Module Procedures

public function belongs_to_int(x, A) result(bool)

Arguments

Return Value logical

public function belongs_to_r32(x, A, eps) result(bool)

Arguments

Return Value logical

public function belongs_to_r64(x, A, eps) result(bool)

Arguments

Return Value logical