# RichMulTerm

### Related Doc: package MulTheory

#### class RichMulTerm extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. RichMulTerm
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
3. #### def %(that: ITerm): ITerm

Euclidian remainder

4. #### def **(that: ITerm): ITerm

Multiply two terms, using the `MulTheory.mul` function if necessary; if any of the two terms is constant, normal Presburger multiplication will be used.

Multiply two terms, using the `MulTheory.mul` function if necessary; if any of the two terms is constant, normal Presburger multiplication will be used.

5. #### def /(that: ITerm): ITerm

Euclidian division

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

Definition Classes
AnyRef → Any
7. #### def ^(exp: ITerm): ITerm

Exponentiation, with non-negative exponent.

Exponentiation, with non-negative exponent. Note that `^` binds only weakly in Scala, so usually one has to write `(x^2)` with parentheses.

8. #### final def asInstanceOf[T0]: T0

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
10. #### def eDiv(that: ITerm): ITerm

Euclidian division

11. #### def eMod(that: ITerm): ITerm

Euclidian remainder

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

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

Definition Classes
AnyRef → Any
14. #### def fDiv(that: ITerm): ITerm

Floor division

15. #### def fMod(that: ITerm): ITerm

Floor remainder

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
17. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
18. #### def hashCode(): Int

Definition Classes
AnyRef → Any
19. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
20. #### final def ne(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef
22. #### final def notifyAll(): Unit

Definition Classes
AnyRef
23. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
24. #### def tDiv(that: ITerm): ITerm

Truncation division

25. #### def tMod(that: ITerm): ITerm

Truncation remainder

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

Definition Classes
AnyRef → Any
27. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
28. #### final def wait(arg0: Long, arg1: Int): Unit

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

Definition Classes
AnyRef
Annotations
@throws( ... )