Index - A
| A | PropLogicCore, PropLogic |
| allDirectSubfalsifiers | DefaultPropLogic, PropLogic |
| allDirectSubvalidators | DefaultPropLogic, PropLogic |
| allPairs | FastPropLogic, PropLogic |
| allValuators | DefaultPropLogic, PropLogic |
| append | Costack |
| appleBasketDistribution | PropLogicTest, PropLogic |
| apply | DefaultPropLogic, PropLogic |
| at | PropLogicCore, PropLogic |
| atomForm | FastPropLogic, PropLogic |
| atoms | PropLogicCore, PropLogic |
| atomSize | DefaultPropLogic, PropLogic |
| averageLineLength | PropLogicTest, PropLogic |
| axiom_criterion_for_equivalence | PropLogicTest, PropLogic |
| axiom_reflexivity_of_subvalence | PropLogicTest, PropLogic |
| axiom_transitivity_of_subvalence | PropLogicTest, PropLogic |