package formula
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- trait Atom extends Expr with Formula with HOLPartialAtom
- class BinaryPropConnectiveHelper extends AnyRef
- trait Formula extends Expr
- class MonoidalBinaryPropConnectiveHelper extends BinaryPropConnectiveHelper
- class NullaryPropConnectiveHelper extends AnyRef
- class QuantifierHelper extends AnyRef
- class UnaryPropConnectiveHelper extends AnyRef
Value Members
- object All extends QuantifierHelper
- object And extends MonoidalBinaryPropConnectiveHelper
- object Atom
- object Bottom extends NullaryPropConnectiveHelper
- object Eq
- object Ex extends QuantifierHelper
- object Iff
- object Imp extends BinaryPropConnectiveHelper
- object Neg extends UnaryPropConnectiveHelper
- object NonLogicalConstant
- object Or extends MonoidalBinaryPropConnectiveHelper
- object Quant
- object Top extends NullaryPropConnectiveHelper
This is the API documentation for GAPT.
The main package is gapt.