# SymbolicTimes

### Related Doc: package algebra

#### trait SymbolicTimes extends Semigroup

Semigroups that provide a symbolic `times` operator, which accepts terms as both arguments.

Linear Supertypes
Semigroup, AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. SymbolicTimes
2. Semigroup
3. AnyRef
4. Any
1. Hide All
2. Show all
Visibility
1. Public
2. All

### Abstract Value Members

1. #### abstract val dom: Sort

Domain of the semigroup

Domain of the semigroup

Definition Classes
Semigroup
2. #### abstract def op(s: ITerm, t: ITerm): ITerm

Binary operation of the semigroup

Binary operation of the semigroup

Definition Classes
Semigroup
3. #### abstract def times(num: ITerm, s: ITerm): ITerm

`num * s`, where the integer `num` is symbolically represented by a term.

`num * s`, where the integer `num` is symbolically represented by a term.

### Concrete Value Members

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

Definition Classes
AnyRef → Any
2. #### final def ##(): Int

Definition Classes
AnyRef → Any
3. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
4. #### final def asInstanceOf[T0]: T0

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

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

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

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

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

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

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

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

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

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

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

Definition Classes
AnyRef
16. #### def times(num: IdealInt, s: ITerm): ITerm

`num * s`, for `num > 0`

`num * s`, for `num > 0`

Definition Classes
Semigroup
17. #### def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )