Packages

  • package root
    Definition Classes
    root
  • package ap

    Package object making available some of the objects in sub-packages

    Package object making available some of the objects in sub-packages

    Definition Classes
    root
  • package theories

    Package object making available some of the objects in sub-packages

    Package object making available some of the objects in sub-packages

    Definition Classes
    ap
  • trait MulTheory extends Theory

    Trait for theories providing general, non-linear multiplication.

    Trait for theories providing general, non-linear multiplication.

    Definition Classes
    theories
  • RichMulTerm

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. Protected

Instance Constructors

  1. new RichMulTerm(term: ITerm)

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.

  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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  10. def eDiv(that: ITerm): ITerm

    Euclidian division

  11. def eDivWithSpecialZero(that: ITerm): ITerm

    Euclidian division, assuming the SMT-LIB semantics for division by zero.

  12. def eMod(that: ITerm): ITerm

    Euclidian remainder

  13. def eModWithSpecialZero(that: ITerm): ITerm

    Euclidian remaining, assuming the SMT-LIB semantics for remainder by zero.

  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  16. def fDiv(that: ITerm): ITerm

    Floor division

  17. def fMod(that: ITerm): ITerm

    Floor remainder

  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  24. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  25. def tDiv(that: ITerm): ITerm

    Truncation division

  26. def tMod(that: ITerm): ITerm

    Truncation remainder

  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from AnyRef

Inherited from Any

Ungrouped