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

Index - T

TPropLogicCore, PropLogic
test_prop_algPropLogicTest, PropLogic
toIdxPropFormFastPropLogic, PropLogic
toM2CNFFastPropLogic, PropLogic
toM2DNFFastPropLogic, PropLogic
topFormFastPropLogic, PropLogic
toPropFormPropLogicCore, PropLogic
total_testPropLogicTest, PropLogic
toXPCNFFastPropLogic, PropLogic
toXPDNFFastPropLogic, PropLogic
trFastPropLogic, PropLogic
truePropLogicCore, PropLogic
TruthTableDefaultPropLogic, PropLogic
truthTableDefaultPropLogic, PropLogic
truthTableByDefaultPropLogic, PropLogic
truthTableToCNFDefaultPropLogic, PropLogic
truthTableToDNFDefaultPropLogic, PropLogic
truthTableUnitValuatorsDefaultPropLogic, PropLogic
truthTableZeroValuatorsDefaultPropLogic, PropLogic
T_PropLogicTest, PropLogic