BVConcat

Related Doc: package ModuloArithmetic

object BVConcat extends IndexedBVOp

Linear Supertypes
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. BVConcat
2. IndexedBVOp
3. SortedIFunction
4. IFunction
5. AnyRef
6. 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. final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
4. val arity: Int

Definition Classes
IFunction
5. final def asInstanceOf[T0]: T0

Definition Classes
Any
6. def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
7. def computeSorts(indexes: Seq[Int]): (Seq[Sort], Sort)

Given the vector of indexes, compute the argument and the result sorts of the function.

Given the vector of indexes, compute the argument and the result sorts of the function.

Definition Classes
BVConcatIndexedBVOp
8. final def eq(arg0: AnyRef): Boolean

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

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
11. def functionType(arguments: Seq[Term]): (Seq[Sort], Sort)

Determine the argument and result types of the function.

Determine the argument and result types of the function.

Definition Classes
IndexedBVOpSortedIFunction
12. final def getClass(): Class[_]

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

Definition Classes
AnyRef → Any
14. def iFunctionType(arguments: Seq[ITerm]): (Seq[Sort], Sort)

Determine the argument and result types of the function.

Determine the argument and result types of the function.

Definition Classes
IndexedBVOpSortedIFunction
15. def iResultSort(arguments: Seq[ITerm]): Sort

Determine the sort of function results.

Determine the sort of function results.

Definition Classes
IndexedBVOpSortedIFunction
16. final def isInstanceOf[T0]: Boolean

Definition Classes
Any
17. val name: String

Definition Classes
IFunction
18. final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
19. final def notify(): Unit

Definition Classes
AnyRef
20. final def notifyAll(): Unit

Definition Classes
AnyRef
21. val partial: Boolean

Definition Classes
IFunction
22. val relational: Boolean

Definition Classes
IFunction
23. def resultSort(arguments: Seq[Term]): Sort

Determine the sort of function results.

Determine the sort of function results.

Definition Classes
IndexedBVOpSortedIFunction
24. final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
25. def toPredicate: SortedPredicate

Encode the function as a sorted predicate.

Encode the function as a sorted predicate.

Definition Classes
IndexedBVOpSortedIFunction
26. def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )