Object

axle.logic

FirstOrderPredicateLogic

Related Doc: package logic

Permalink

object FirstOrderPredicateLogic

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FirstOrderPredicateLogic
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class And(left: Statement, right: Statement) extends Statement with Product with Serializable

    Permalink

  2. case class Constant(b: Boolean) extends Statement with Product with Serializable

    Permalink

  3. case class ElementOf(symbol: Symbol, set: Set[Any]) extends Product with Serializable

    Permalink

  4. case class EnrichedSymbol(symbol: Symbol) extends Product with Serializable

    Permalink

  5. case class Iff(left: Statement, right: Statement) extends Statement with Product with Serializable

    Permalink

  6. case class Implies(left: Statement, right: Statement) extends Statement with Product with Serializable

    Permalink

  7. case class Or(left: Statement, right: Statement) extends Statement with Product with Serializable

    Permalink

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

    Permalink

  9. trait Statement extends AnyRef

    Permalink

  10. case class ¬(statement: Statement) extends Statement with Product with Serializable

    Permalink

  11. case class ∀(symbolSet: ElementOf, statement: Statement) extends Statement with Product with Serializable

    Permalink

  12. case class ∃(symbolSet: ElementOf, statement: Statement) extends Statement with Product with Serializable

    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. object And extends Serializable

    Permalink

  5. object Constant extends Serializable

    Permalink

  6. object ElementOf extends Serializable

    Permalink

  7. object Iff extends Serializable

    Permalink

  8. object Implies extends Serializable

    Permalink

  9. object Or extends Serializable

    Permalink

  10. object Predicate

    Permalink

  11. object Statement

    Permalink

  12. def _distribute(s: Statement): (Statement, Boolean)

    Permalink

  13. def _flatten(s: Statement): (Statement, Boolean)

    Permalink

  14. def _skolemize(s: Statement, universally: Set[Symbol], existentially: Set[Symbol], skolems: Map[Symbol, Set[Symbol]]): (Statement, Map[Symbol, Set[Symbol]])

    Permalink

  15. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  16. def atomicDisjunctsToImplication(s: Statement): Statement

    Permalink

  17. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  18. def conjoin(cs: List[Statement]): Statement

    Permalink

  19. def conjunctList(s: Statement): List[Statement]

    Permalink

  20. def conjunctiveNormalForm(s: Statement): (Statement, Map[Symbol, Set[Symbol]])

    Permalink

  21. def disjoin(cs: List[Statement]): Statement

    Permalink

  22. def disjunctList(s: Statement): List[Statement]

    Permalink

  23. def distribute(s: Statement): Statement

    Permalink

  24. def eliminateIff(s: Statement): Statement

    Permalink

  25. def eliminateImplication(s: Statement): Statement

    Permalink

  26. implicit val enrichSymbol: (Symbol) ⇒ EnrichedSymbol

    Permalink

  27. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  28. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  29. def exists(symbolSet: ElementOf, statement: Statement): ∃

    Permalink

  30. def finalize(): Unit

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

  31. def flatten(s: Statement): Statement

    Permalink

  32. implicit def foplBoolean(b: Boolean): Constant

    Permalink

  33. def forall(symbolSet: ElementOf, statement: Statement): ∀

    Permalink

  34. def freeVariables(s: Statement, notFree: Set[Symbol] = Set()): Set[Symbol]

    Permalink

  35. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  36. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  37. def implicativeNormalForm(s: Statement): List[Statement]

    Permalink

  38. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  39. def moveNegation(s: Statement, incoming: Boolean = false): Statement

    Permalink

  40. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  41. def noOp(s: Statement): Statement

    Permalink

  42. def not(statement: Statement): ¬

    Permalink

  43. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  44. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  45. def skolemFor(skolems: Map[Symbol, Set[Symbol]], s: Symbol, universally: Set[Symbol]): (Symbol, Map[Symbol, Set[Symbol]])

    Permalink

  46. def skolemize(s: Statement): (Statement, Map[Symbol, Set[Symbol]])

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  48. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  49. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  50. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  51. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  52. object ¬ extends Serializable

    Permalink

  53. object ∀ extends Serializable

    Permalink

  54. object ∃ extends Serializable

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped