Packages

p

gapt.expr.formula

constants

package constants

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract class LogicalC extends AnyRef

    Helper class for logical constants.

    Helper class for logical constants.

    The logical constans are the propositional connectives, the quantifiers, bottom, top, and the equality constant. A logical constant is different from an expression consisting of only this logical constant, as the expression is an object of type Expr and needs to have a definite type.

    A logical constant consists of a name (e.g. "∀"), and a set of possible types, (e.g. (Ti->To)->To, ((Ti->Ti)->To)->To, ...). Subclasses need to implement the function matchType, which matches these possible types. This way we can handle the parametric types of the quantifiers.

  2. trait LogicalConstant extends Const
  3. class MonomorphicLogicalC extends LogicalC

    Logical constant with a fixed type.

  4. class QuantifierC extends LogicalC

    A logical constant describing a quantifier, which is of type (α->To)->To.

Value Members

  1. object AndC extends MonomorphicLogicalC
  2. object BottomC extends MonomorphicLogicalC
  3. object EqC extends LogicalC
  4. object ExistsC extends QuantifierC
  5. object ForallC extends QuantifierC
  6. object ImpC extends MonomorphicLogicalC
  7. object NegC extends MonomorphicLogicalC
  8. object OrC extends MonomorphicLogicalC
  9. object TopC extends MonomorphicLogicalC

Ungrouped