final class Lit extends AnyVal
- Source
- Solving.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Lit
- AnyVal
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Lit(v: Int)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
- def +(other: String): String
- def ->[B](y: B): (Lit, B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def ensuring(cond: (Lit) ⇒ Boolean, msg: ⇒ Any): Lit
- def ensuring(cond: (Lit) ⇒ Boolean): Lit
- def ensuring(cond: Boolean, msg: ⇒ Any): Lit
- def ensuring(cond: Boolean): Lit
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def positive: Boolean
-
def
toString(): String
- Definition Classes
- Lit → Any
- def unary_-: Lit
- val v: Int
- def variable: Int
- def →[B](y: B): (Lit, B)
Deprecated Value Members
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Lit to StringFormat[Lit] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.
The Scala compiler and reflection APIs.