# PartialInterpolant

### Related Docs: object PartialInterpolant | package interpolants

#### class PartialInterpolant extends AnyRef

Class representing the different kinds of partial interpolants that are used to annotate arithmetic literals. A partial interpolant carries a "denominator", which represents a factor that the annotated arithmetic literal has to be multiplied with to make the partial interpolant valid. E.g. `x = 0 [y = 0, 2]` can be interpreted as equivalent to `2*x = 0 [y = 0, 1]`.

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. PartialInterpolant
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. #### final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
2. #### final def ##(): Int

Definition Classes
AnyRef → Any

4. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
5. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
6. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )

9. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
10. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
11. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
12. #### def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
13. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any

16. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
17. #### final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
18. #### final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
19. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef

21. #### def toString(): String

Definition Classes
PartialInterpolant → AnyRef → Any
22. #### final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
23. #### final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
24. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

### Deprecated Value Members

1. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated