# CertArithLiteral

### Related Doc: package certificates

#### sealed abstract class CertArithLiteral extends CertFormula

Linear Supertypes
CertFormula, AnyRef, Any
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. CertArithLiteral
2. CertFormula
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Abstract Value Members

1. #### abstract def isFalse: Boolean

Return `true` if this formula is obviously always false

Return `true` if this formula is obviously always false

Definition Classes
CertFormula
2. #### abstract def isTrue: Boolean

Return `true` if this formula is obviously always true

Return `true` if this formula is obviously always true

Definition Classes
CertFormula
3. #### abstract def toConj: Conjunction

Convert this formula to the corresponding formula in internal representation

Convert this formula to the corresponding formula in internal representation

Definition Classes
CertFormula
4. #### abstract def toFormula: Formula

Convert this formula to the corresponding formula in internal representation

Convert this formula to the corresponding formula in internal representation

Definition Classes
CertFormula
5. #### abstract def unary_!: CertFormula

Negate this formula

Negate this formula

Definition Classes
CertFormula

### Concrete Value Members

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

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

Definition Classes
AnyRef → Any
3. #### final def ==(arg0: Any): Boolean

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

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
6. #### def constants: Set[ConstantTerm]

Definition Classes
CertFormula
7. #### final def eq(arg0: AnyRef): Boolean

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

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

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

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

Definition Classes
Any

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

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

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

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
16. #### val order: TermOrder

Definition Classes
CertFormula
17. #### def predicates: Set[Predicate]

Definition Classes
CertFormula
18. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
19. #### def toString(): String

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
22. #### 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