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
    @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. def finalize(): Unit

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

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

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

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

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

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

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

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

    Permalink

    Truncation division

  25. def tMod(that: ITerm): ITerm

    Permalink

    Truncation remainder

  26. def toString(): String

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped