at.logic.skeptik.expression

formula

package formula

Linear Supertypes
AnyRef, Any
Content Hierarchy Learn more about scaladoc diagrams
AtomExAllImpOrAndNegQuantifierFormulaUnaryFormulaBinaryFormulaFormula
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. formula
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. abstract class BinaryFormula extends Formula

  2. abstract class Formula extends AnyRef

  3. abstract class QuantifierFormula extends Formula

  4. class RichFormula extends AnyRef

  5. abstract class UnaryFormula extends Formula

Value Members

  1. object All extends QuantifierFormula

  2. object And extends BinaryFormula

  3. object Atom extends Formula

  4. object Ex extends QuantifierFormula

  5. object Imp extends BinaryFormula

  6. object Neg extends UnaryFormula

  7. object Or extends BinaryFormula

  8. def all(v: Var): (E) ⇒ App

  9. def allC(t: T): Var

  10. val allS: String

  11. def andC: Var with Infix

  12. val andS: String

  13. implicit def enrichFormula(e: E): RichFormula

  14. def ex(v: Var): (E) ⇒ App

  15. def exC(t: T): Var

  16. val exS: String

  17. def impC: Var with Infix

  18. val impS: String

  19. def isLogicalConnective(c: E): Boolean

  20. def neg(f: E): App

  21. def negC: Var

  22. val negS: String

  23. def orC: Var with Infix

  24. val orS: String

  25. package position

  26. def ¬(f: E): App

  27. def ∀(v: Var): (E) ⇒ App

  28. def ∃(v: Var): (E) ⇒ App

Inherited from AnyRef

Inherited from Any

Ungrouped