Class

ap.theories.MulTheory

RichMulTerm

Related Doc: package MulTheory

Permalink

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

Instance Constructors

  1. new RichMulTerm(term: ITerm)

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def %(that: ITerm): ITerm

    Permalink

    Euclidian remainder

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

    Permalink

    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

    Permalink

    Euclidian division

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

    Permalink
    Definition Classes
    AnyRef → Any

  7. def ^(exp: ITerm): ITerm

    Permalink

    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

    Permalink
    Definition Classes
    Any

  9. def clone(): AnyRef

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

  10. def eDiv(that: ITerm): ITerm

    Permalink

    Euclidian division

  11. def eMod(that: ITerm): ITerm

    Permalink

    Euclidian remainder

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

    Permalink
    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  14. def fDiv(that: ITerm): ITerm

    Permalink

    Floor division

  15. def fMod(that: ITerm): ITerm

    Permalink

    Floor remainder

  16. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  23. def tDiv(that: ITerm): ITerm

    Permalink

    Truncation division

  24. def tMod(that: ITerm): ITerm

    Permalink

    Truncation remainder

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

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

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped