spinal
.
core
.
internals
.
Operator
Formal
Related Doc:
package Operator
object
Formal
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Formal
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
class
Changed
extends
UnaryOperator
class
Fell
extends
UnaryOperator
class
InitState
extends
Expression
abstract
class
Past
extends
UnaryOperator
class
PastBits
extends
PastBitvector
abstract
class
PastBitvector
extends
Past
with
Widthable
class
PastBool
extends
Past
class
PastEnum
extends
Past
with
InferableEnumEncodingImpl
class
PastSInt
extends
PastBitvector
class
PastUInt
extends
PastBitvector
abstract
class
RandomExp
extends
Expression
abstract
class
RandomExpBitVector
extends
RandomExp
with
WidthProvider
class
RandomExpBits
extends
RandomExpBitVector
class
RandomExpBool
extends
RandomExp
class
RandomExpEnum
extends
RandomExp
with
InferableEnumEncodingImpl
class
RandomExpKind
extends
AnyRef
class
RandomExpSInt
extends
RandomExpBitVector
class
RandomExpUInt
extends
RandomExpBitVector
class
Rose
extends
UnaryOperator
class
Stable
extends
UnaryOperator
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
RANDOM_ALL_CONST
:
RandomExpKind
val
RANDOM_ALL_SEQ
:
RandomExpKind
val
RANDOM_ANY_CONST
:
RandomExpKind
val
RANDOM_ANY_SEQ
:
RandomExpKind
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate
()
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate
()
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate
()
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate
()
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate
()
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Deprecated Value Members
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@Deprecated
@deprecated
@throws
(
classOf[java.lang.Throwable]
)
Deprecated
(Since version )
see corresponding Javadoc for more information.
Inherited from
AnyRef
Inherited from
Any
Ungrouped