Loc
vstd
Loc
Aliased type
Trait Implementations
Add
Clone
Copy
Div
Eq
Integer
Mul
Neg
Ord
PartialEq
PartialOrd
Rem
SpecAdd<Rhs>
SpecEuclideanDiv
SpecEuclideanMod
SpecMul<Rhs>
SpecNeg
SpecOrd<Rhs>
SpecSub<Rhs>
Structural
Sub
In vstd::
pcm
Structs
Resource
Traits
PCM
Functions
conjunct_shared
frame_preserving_update
frame_preserving_update_nondeterministic
incl
set_op
Type Aliases
Loc
?
Settings
Type Alias
vstd
::
pcm
::
Loc
Copy item path
source
·
[
−
]
pub type Loc =
int
;
Aliased Type
§
struct Loc;
Trait Implementations
§
impl
Add
for
int
§
type
Output
=
int
The resulting type after applying the
+
operator.
§
fn
add
(self, _other:
int
) -> <
int
as
Add
>::
Output
Performs the
+
operation.
Read more
§
impl
Clone
for
int
§
fn
clone
(&self) ->
int
Returns a copy of the value.
Read more
1.0.0
·
source
§
fn
clone_from
(&mut self, source: &Self)
Performs copy-assignment from
source
.
Read more
§
impl
Div
for
int
§
type
Output
=
int
The resulting type after applying the
/
operator.
§
fn
div
(self, _other:
int
) -> <
int
as
Div
>::
Output
Performs the
/
operation.
Read more
§
impl
Integer
for
int
§
const
CONST_DEFAULT
:
int
= int
§
impl
Mul
for
int
§
type
Output
=
int
The resulting type after applying the
*
operator.
§
fn
mul
(self, _other:
int
) -> <
int
as
Mul
>::
Output
Performs the
*
operation.
Read more
§
impl
Neg
for
int
§
type
Output
=
int
The resulting type after applying the
-
operator.
§
fn
neg
(self) -> <
int
as
Neg
>::
Output
Performs the unary
-
operation.
Read more
§
impl
Ord
for
int
§
fn
cmp
(&self, _other: &
int
) ->
Ordering
This method returns an
Ordering
between
self
and
other
.
Read more
1.21.0
·
source
§
fn
max
(self, other: Self) -> Self
where Self:
Sized
,
Compares and returns the maximum of two values.
Read more
1.21.0
·
source
§
fn
min
(self, other: Self) -> Self
where Self:
Sized
,
Compares and returns the minimum of two values.
Read more
1.50.0
·
source
§
fn
clamp
(self, min: Self, max: Self) -> Self
where Self:
Sized
+
PartialOrd
,
Restrict a value to a certain interval.
Read more
§
impl
PartialEq
for
int
§
fn
eq
(&self, _other: &
int
) ->
bool
Tests for
self
and
other
values to be equal, and is used by
==
.
1.0.0
·
source
§
fn
ne
(&self, other:
&Rhs
) ->
bool
Tests for
!=
. The default implementation is almost always sufficient, and should not be overridden without very good reason.
§
impl
PartialOrd
for
int
§
fn
partial_cmp
(&self, _other: &
int
) ->
Option
<
Ordering
>
This method returns an ordering between
self
and
other
values if one exists.
Read more
1.0.0
·
source
§
fn
lt
(&self, other:
&Rhs
) ->
bool
Tests less than (for
self
and
other
) and is used by the
<
operator.
Read more
1.0.0
·
source
§
fn
le
(&self, other:
&Rhs
) ->
bool
Tests less than or equal to (for
self
and
other
) and is used by the
<=
operator.
Read more
1.0.0
·
source
§
fn
gt
(&self, other:
&Rhs
) ->
bool
Tests greater than (for
self
and
other
) and is used by the
>
operator.
Read more
1.0.0
·
source
§
fn
ge
(&self, other:
&Rhs
) ->
bool
Tests greater than or equal to (for
self
and
other
) and is used by the
>=
operator.
Read more
§
impl
Rem
for
int
§
type
Output
=
int
The resulting type after applying the
%
operator.
§
fn
rem
(self, _other:
int
) -> <
int
as
Rem
>::
Output
Performs the
%
operation.
Read more
§
impl<Rhs>
SpecAdd
<Rhs> for
int
where Rhs:
Integer
,
§
type
Output
=
int
§
fn
spec_add
(self, _rhs: Rhs) -> <
int
as
SpecAdd
<Rhs>>::
Output
§
impl
SpecEuclideanDiv
for
int
§
type
Output
=
int
§
fn
spec_euclidean_div
(self, _rhs:
int
) -> <
int
as
SpecEuclideanDiv
>::
Output
§
impl
SpecEuclideanMod
for
int
§
type
Output
=
int
§
fn
spec_euclidean_mod
(self, _rhs:
int
) -> <
int
as
SpecEuclideanMod
>::
Output
§
impl<Rhs>
SpecMul
<Rhs> for
int
where Rhs:
Integer
,
§
type
Output
=
int
§
fn
spec_mul
(self, _rhs: Rhs) -> <
int
as
SpecMul
<Rhs>>::
Output
§
impl
SpecNeg
for
int
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
int
as
SpecNeg
>::
Output
§
impl<Rhs>
SpecOrd
<Rhs> for
int
where Rhs:
Integer
,
§
fn
spec_lt
(self, _rhs: Rhs) ->
bool
§
fn
spec_le
(self, _rhs: Rhs) ->
bool
§
fn
spec_gt
(self, _rhs: Rhs) ->
bool
§
fn
spec_ge
(self, _rhs: Rhs) ->
bool
§
impl<Rhs>
SpecSub
<Rhs> for
int
where Rhs:
Integer
,
§
type
Output
=
int
§
fn
spec_sub
(self, _rhs: Rhs) -> <
int
as
SpecSub
<Rhs>>::
Output
§
impl
Sub
for
int
§
type
Output
=
int
The resulting type after applying the
-
operator.
§
fn
sub
(self, _other:
int
) -> <
int
as
Sub
>::
Output
Performs the
-
operation.
Read more
§
impl
Copy
for
int
§
impl
Eq
for
int
§
impl
Structural
for
int