common
Toggle table of contents
3.1.1
jvm
Platform filter
jvm
Switch theme
Search in API
common
common
/
org.jetbrains.lincheck.descriptors
/
ClassDescriptor
Class
Descriptor
data
class
ClassDescriptor
(
val
name
:
String
)
Members
Constructors
Class
Descriptor
Link copied to clipboard
constructor
(
name
:
String
)
Properties
name
Link copied to clipboard
val
name
:
String