# SortedPredicate

### Related Docs: object SortedPredicate | package types

#### abstract class SortedPredicate extends Predicate

General class representing sorted predicates; sub-classes can model both monomorphic and polymorphic predicates.

Linear Supertypes
Predicate, AnyRef, Any
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. SortedPredicate
2. Predicate
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Abstract Value Members

1. #### abstract def argumentSorts(arguments: Seq[Term]): Seq[Sort]

Determine the argument types of the predicate.

2. #### abstract def iArgumentSorts(arguments: Seq[ITerm]): Seq[Sort]

Determine the argument types of the predicate.

3. #### abstract def sortConstraints(arguments: Seq[Term])(implicit order: TermOrder): Formula

Given argument terms of the predicate, determine constraints on the range of the arguments that are implied by the predicate.

Given argument terms of the predicate, determine constraints on the range of the arguments that are implied by the predicate. E.g., for a predicate encoding a function, such constraints would be derived from the sort of the result sort.

### 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. #### val arity: Int

Definition Classes
Predicate
5. #### final def asInstanceOf[T0]: T0

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

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

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

Definition Classes
AnyRef → Any
9. #### final def getClass(): Class[_]

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

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
11. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
12. #### val name: String

Definition Classes
Predicate
13. #### final def ne(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
15. #### final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
16. #### final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
Predicate → AnyRef → Any
18. #### final def wait(arg0: Long, arg1: Int): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

### Deprecated Value Members

1. #### def finalize(): Unit

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