PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras.

Index - A

APropLogicCore, PropLogic
allDirectSubfalsifiersDefaultPropLogic, PropLogic
allDirectSubvalidatorsDefaultPropLogic, PropLogic
allPairsFastPropLogic, PropLogic
allValuatorsDefaultPropLogic, PropLogic
appleBasketDistributionPropLogicTest, PropLogic
applyDefaultPropLogic, PropLogic
atPropLogicCore, PropLogic
atomFormFastPropLogic, PropLogic
atomsPropLogicCore, PropLogic
atomSizeDefaultPropLogic, PropLogic
averageLineLengthPropLogicTest, PropLogic
axiom_criterion_for_equivalencePropLogicTest, PropLogic
axiom_reflexivity_of_subvalencePropLogicTest, PropLogic
axiom_transitivity_of_subvalencePropLogicTest, PropLogic