# Predicate

### Related Docs: object Predicate | package FirstOrderPredicateLogic

#### trait Predicate extends (Map[Symbol, Any]) ⇒ Boolean with Statement

Self Type
Predicate
Linear Supertypes
Statement, (Map[Symbol, Any]) ⇒ Boolean, AnyRef, Any
Known Subclasses
A, B, C, D, E, F, G, H, M, N, P, Q, R, S, T, U, W
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Predicate
2. Statement
3. Function1
4. AnyRef
5. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Abstract Value Members

1. #### abstract def apply(symbolTable: Map[Symbol, Any]): Boolean

Definition Classes
Statement

### 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. #### def and(right: Statement): And

Definition Classes
Statement
5. #### def andThen[A](g: (Boolean) ⇒ A): (Map[Symbol, Any]) ⇒ A

Definition Classes
Function1
Annotations
@unspecialized()
6. #### final def asInstanceOf[T0]: T0

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
8. #### def compose[A](g: (A) ⇒ Map[Symbol, Any]): (A) ⇒ Boolean

Definition Classes
Function1
Annotations
@unspecialized()
9. #### final def eq(arg0: AnyRef): Boolean

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

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

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

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

Definition Classes
AnyRef → Any
14. #### def iff(right: Statement): Iff

Definition Classes
Statement
15. #### def implies(right: Statement): Implies

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

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

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

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

Definition Classes
AnyRef
20. #### def or(right: Statement): Or

Definition Classes
Statement

23. #### final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
Function1 → AnyRef → Any
25. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
28. #### def ⇔(right: Statement): Iff

Definition Classes
Statement
29. #### def ∧(right: Statement): And

Definition Classes
Statement
30. #### def ∨(right: Statement): Or

Definition Classes
Statement
31. #### def ⊃(right: Statement): Implies

Definition Classes
Statement