axle.logic

FOPL

object FOPL

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. FOPL
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

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

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

  4. class EnrichedSymbol extends AnyRef

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

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

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

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

  9. trait Statement extends AnyRef

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

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

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

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object And extends Serializable

  7. object Constant extends Serializable

  8. object ElementOf extends Serializable

  9. object Iff extends Serializable

  10. object Implies extends Serializable

  11. object Or extends Serializable

  12. object Predicate

  13. object Statement

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

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

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

  17. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  18. def atomicDisjunctsToImplication(s: Statement): Statement

  19. def clone(): AnyRef

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

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

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

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

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

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

  25. def distribute(s: Statement): Statement

  26. def eliminateIff(s: Statement): Statement

  27. def eliminateImplication(s: Statement): Statement

  28. implicit val enrichSymbol: (Symbol) ⇒ EnrichedSymbol

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

    Definition Classes
    AnyRef

  30. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

  32. def finalize(): Unit

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

  33. def flatten(s: Statement): Statement

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

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

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

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

    Definition Classes
    AnyRef → Any

  38. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

  40. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

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

    Definition Classes
    AnyRef

  43. def noOp(s: Statement): Statement

  44. def not(statement: Statement): ¬

  45. final def notify(): Unit

    Definition Classes
    AnyRef

  46. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

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

  49. implicit def symbolEq: Eq[Symbol]

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

    Definition Classes
    AnyRef

  51. def toString(): String

    Definition Classes
    AnyRef → Any

  52. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  55. object ¬ extends Serializable

  56. object ∀ extends Serializable

  57. object ∃ extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped