package prop
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- trait PropAtom extends Const with PropFormula with FOLAtom with FOLAtomConst
- trait PropConnective extends Const with LogicalConstant with PropPartialFormula
- trait PropFormula extends Expr with PropPartialFormula with FOLFormula
This is the API documentation for GAPT.
The main package is gapt.