# RichITermSeq

### Related Doc: package IExpression

#### class RichITermSeq extends AnyRef

Various functions to work with vectors of terms

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. RichITermSeq
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): Seq[ITerm]

Component-wise multiplication

4. #### def ***(that: Seq[ITerm]): Seq[ITerm]

Component-wise multiplication

5. #### def *:*(that: Seq[ITerm]): ITerm

The dot-product of two vectors

8. #### def ---(that: ITerm): Seq[ITerm]

Component-wise subtraction

9. #### def ---(that: Seq[ITerm]): Seq[ITerm]

Component-wise subtraction

14. #### def =/=(that: ITerm): IFormula

Negated equation a vector and a term

15. #### def =/=(that: Seq[ITerm]): IFormula

Negated equation between two vectors

16. #### def =/=/=(that: ITerm): IFormula

Component-wise disequation of vectors (all components of the vectors are different)

17. #### def =/=/=(that: Seq[ITerm]): IFormula

Component-wise disequation of vectors (all components of the vectors are different)

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

Definition Classes
AnyRef → Any

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

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
27. #### final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
29. #### def finalize(): Unit

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

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

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

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

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

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

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

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

Definition Classes
AnyRef → Any

39. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )