Class/Object

axle.logic.SamplePredicates

U

Related Docs: object U | package SamplePredicates

Permalink

case class U(symbols: List[Symbol]) extends Predicate with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Predicate, Statement, (Map[Symbol, Any]) ⇒ Boolean, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. U
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Predicate
  7. Statement
  8. Function1
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new U(symbols: List[Symbol])

    Permalink

Value Members

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. def and(right: Statement): And

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

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  6. def apply(symbolTable: Map[Symbol, Any]): Boolean

    Permalink
    Definition Classes
    UStatement → Function1
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef
  11. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  13. def iff(right: Statement): Iff

    Permalink
    Definition Classes
    Statement
  14. def implies(right: Statement): Implies

    Permalink
    Definition Classes
    Statement
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. def name: String

    Permalink
    Definition Classes
    UPredicate
  17. final def ne(arg0: AnyRef): Boolean

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

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

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

    Permalink
    Definition Classes
    Statement
  21. def skolemize(universally: Set[Symbol], existentially: Set[Symbol], skolems: Map[Symbol, Set[Symbol]]): (Predicate, Map[Symbol, Set[Symbol]])

    Permalink
    Definition Classes
    Predicate
  22. def symbolSet: Set[Symbol]

    Permalink
    Definition Classes
    Predicate
  23. val symbols: List[Symbol]

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

    Permalink
    Definition Classes
    AnyRef
  25. def toString(): String

    Permalink
    Definition Classes
    Function1 → AnyRef → Any
  26. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. def (right: Statement): Iff

    Permalink
    Definition Classes
    Statement
  30. def (right: Statement): And

    Permalink
    Definition Classes
    Statement
  31. def (right: Statement): Or

    Permalink
    Definition Classes
    Statement
  32. def (right: Statement): Implies

    Permalink
    Definition Classes
    Statement

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Predicate

Inherited from Statement

Inherited from (Map[Symbol, Any]) ⇒ Boolean

Inherited from AnyRef

Inherited from Any

Ungrouped