Index
| 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 |
| biequivalent | PropLogicCore, PropLogic |
| boolApply | DefaultPropLogic, PropLogic |
| boolEval | DefaultPropLogic, PropLogic |
| botForm | FastPropLogic, PropLogic |
| bottomAlign | TextDisplay |
| CanonPerformance | PropLogicTest, PropLogic |
| CaseSymbol | FastPropLogic, PropLogic |
| caseSymbol | FastPropLogic, PropLogic |
| centerAlign | TextDisplay |
| CJ | PropLogicCore, PropLogic |
| CJ_ | PropLogicTest, PropLogic |
| CNF | DefaultPropLogic, PropLogic |
| cnfToValuatorList | DefaultPropLogic, PropLogic |
| coatomic | PropLogicCore, PropLogic |
| cocons | Costack |
| columnWidthList | TextDisplay |
| concat | Costack |
| conj | PropLogicCore, PropLogic |
| cons | Costack |
| contradictory | PropLogicCore, PropLogic |
| coprimeValuators | DefaultPropLogic, PropLogic |
| correctMultiTruthTable | DefaultPropLogic, PropLogic |
| correctTextFrame | TextDisplay |
| correctTextFrameTable | TextDisplay |
| correctTruthTable | DefaultPropLogic, PropLogic |
| correctValuator | DefaultPropLogic, PropLogic |
| Costack | Costack |
| covalent | PropLogicCore, PropLogic |
| cPrime | FastPropLogic, PropLogic |
| cPrimes | FastPropLogic, PropLogic |
| defaultJunctorWeighting | PropLogicTest, PropLogic |
| defaultTextFrame | TextDisplay |
| delete | Olist |
| difference | Olist |
| directSubvaluators | DefaultPropLogic, PropLogic |
| disatomic | PropLogicCore, PropLogic |
| disj | PropLogicCore, PropLogic |
| disjunct | Olist |
| Display | TextDisplay |
| display | TextDisplay |
| disvalent | PropLogicCore, PropLogic |
| DJ | PropLogicCore, PropLogic |
| DJ_ | PropLogicTest, PropLogic |
| DNF | DefaultPropLogic, PropLogic |
| dnfToValuatorList | DefaultPropLogic, PropLogic |
| dualForm | FastPropLogic, PropLogic |
| dualLine | FastPropLogic, PropLogic |
| EJ | PropLogicCore, PropLogic |
| EJ_ | PropLogicTest, PropLogic |
| elimForm | FastPropLogic, PropLogic |
| elimLine | FastPropLogic, PropLogic |
| empty | |
| 1 (Function) | Costack |
| 2 (Function) | Olist |
| equal | Olist |
| equiatomic | PropLogicCore, PropLogic |
| equij | PropLogicCore, PropLogic |
| equivalent | PropLogicCore, PropLogic |
| eval | DefaultPropLogic, PropLogic |
| EvalNF | DefaultPropLogic, PropLogic |
| ext | PropLogicCore, PropLogic |
| ext' | DefaultPropLogic, PropLogic |
| F | PropLogicCore, PropLogic |
| false | PropLogicCore, PropLogic |
| falsifies | DefaultPropLogic, PropLogic |
| filter | Costack |
| findTextFrameError | TextDisplay |
| foldr | Costack |
| formAntijoinForm | FastPropLogic, PropLogic |
| formAntijoinLine | FastPropLogic, PropLogic |
| formCojoinForm | FastPropLogic, PropLogic |
| formCojoinLine | FastPropLogic, PropLogic |
| formCovForm | FastPropLogic, PropLogic |
| formIndices | FastPropLogic, PropLogic |
| formJoinForm | FastPropLogic, PropLogic |
| formLength | FastPropLogic, PropLogic |
| formListJoin | FastPropLogic, PropLogic |
| formListMeet | FastPropLogic, PropLogic |
| formMeetForm | FastPropLogic, PropLogic |
| fromIdxPropForm | FastPropLogic, PropLogic |
| fromList | Costack |
| fromMixForm | FastPropLogic, PropLogic |
| fromPropForm | PropLogicCore, PropLogic |
| fromXPCNF | FastPropLogic, PropLogic |
| fromXPDNF | FastPropLogic, PropLogic |
| F_ | PropLogicTest, PropLogic |
| gridMerge | TextDisplay |
| head | Costack |
| height | TextDisplay |
| IAtom | FastPropLogic, PropLogic |
| iAtom | FastPropLogic, PropLogic |
| iBool | FastPropLogic, PropLogic |
| iCNF | FastPropLogic, PropLogic |
| iDNF | FastPropLogic, PropLogic |
| idx | FastPropLogic, PropLogic |
| IdxPropForm | FastPropLogic, PropLogic |
| IForm | FastPropLogic, PropLogic |
| iForm | FastPropLogic, PropLogic |
| iformJoinM2form | FastPropLogic, PropLogic |
| iformJoinPrimForm | FastPropLogic, PropLogic |
| ILine | FastPropLogic, PropLogic |
| iLine | FastPropLogic, PropLogic |
| ILit | FastPropLogic, PropLogic |
| iLIT | FastPropLogic, PropLogic |
| included | Olist |
| infElim | PropLogicCore, PropLogic |
| infRed | PropLogicCore, PropLogic |
| iNLC | FastPropLogic, PropLogic |
| iNLD | FastPropLogic, PropLogic |
| insert | Olist |
| intersection | Olist |
| intersectionList | Olist |
| invertForm | FastPropLogic, PropLogic |
| invertLine | FastPropLogic, PropLogic |
| irrAtoms | PropLogicCore, PropLogic |
| isCNF | DefaultPropLogic, PropLogic |
| isDNF | DefaultPropLogic, PropLogic |
| isEmpty | |
| 1 (Function) | Costack |
| 2 (Function) | Olist |
| isEvalNF | DefaultPropLogic, PropLogic |
| isIAtom | FastPropLogic, PropLogic |
| isIForm | FastPropLogic, PropLogic |
| isILine | FastPropLogic, PropLogic |
| isILit | FastPropLogic, PropLogic |
| isLitForm | DefaultPropLogic, PropLogic |
| isMinimalPair | FastPropLogic, PropLogic |
| isNaturalCNF | DefaultPropLogic, PropLogic |
| isNaturalDNF | DefaultPropLogic, PropLogic |
| isNegNormForm | DefaultPropLogic, PropLogic |
| isNLC | DefaultPropLogic, PropLogic |
| isNLD | DefaultPropLogic, PropLogic |
| isNonSpaceWhite | TextDisplay |
| isOlist | Olist |
| isOrderedForm | FastPropLogic, PropLogic |
| isOrdPropForm | DefaultPropLogic, PropLogic |
| isPairwiseMinimal | FastPropLogic, PropLogic |
| iTr | FastPropLogic, PropLogic |
| itr | FastPropLogic, PropLogic |
| iUni | FastPropLogic, PropLogic |
| juncArgs | DefaultPropLogic, PropLogic |
| juncCons | DefaultPropLogic, PropLogic |
| juncDeg | DefaultPropLogic, PropLogic |
| juncSize | DefaultPropLogic, PropLogic |
| JunctorSymbol | PropLogicTest, PropLogic |
| JunctorWeighting | PropLogicTest, PropLogic |
| leftAlign | TextDisplay |
| length | Costack |
| lineCovForm | FastPropLogic, PropLogic |
| lineCovLine | FastPropLogic, PropLogic |
| lineIndices | FastPropLogic, PropLogic |
| lineLength | FastPropLogic, PropLogic |
| lineMeetForm | FastPropLogic, PropLogic |
| lineMeetLine | FastPropLogic, PropLogic |
| LiteralPair | DefaultPropLogic, PropLogic |
| LitForm | DefaultPropLogic, PropLogic |
| litFormAtom | DefaultPropLogic, PropLogic |
| litFormValue | DefaultPropLogic, PropLogic |
| M2CNF | FastPropLogic, PropLogic |
| M2DNF | FastPropLogic, PropLogic |
| m2form | FastPropLogic, PropLogic |
| map | Costack |
| MCNF | DefaultPropLogic, PropLogic |
| MDNF | DefaultPropLogic, PropLogic |
| meanValue | PropLogicTest, PropLogic |
| member | Olist |
| merge | Costack |
| middleAlign | TextDisplay |
| minimalCNFs | DefaultPropLogic, PropLogic |
| minimalDNFs | DefaultPropLogic, PropLogic |
| MixForm | FastPropLogic, PropLogic |
| mixToPCNF | FastPropLogic, PropLogic |
| mixToPDNF | FastPropLogic, PropLogic |
| mrec | FastPropLogic, PropLogic |
| Msec | PropLogicTest, PropLogic |
| MultiTruthTable | DefaultPropLogic, PropLogic |
| multiTruthTable | DefaultPropLogic, PropLogic |
| N | PropLogicCore, PropLogic |
| NaturalCNF | DefaultPropLogic, PropLogic |
| naturalCNF | DefaultPropLogic, PropLogic |
| NaturalDNF | DefaultPropLogic, PropLogic |
| naturalDNF | DefaultPropLogic, PropLogic |
| neg | PropLogicCore, PropLogic |
| negForm | FastPropLogic, PropLogic |
| negLine | FastPropLogic, PropLogic |
| negLit | FastPropLogic, PropLogic |
| NegNormForm | DefaultPropLogic, PropLogic |
| negNormForm | DefaultPropLogic, PropLogic |
| newAtomsXForm | FastPropLogic, PropLogic |
| NIOO | FastPropLogic, PropLogic |
| NIOP | FastPropLogic, PropLogic |
| NIPO | FastPropLogic, PropLogic |
| NIPP | FastPropLogic, PropLogic |
| NLC | DefaultPropLogic, PropLogic |
| nlcToValuator | DefaultPropLogic, PropLogic |
| NLD | DefaultPropLogic, PropLogic |
| nldToValuator | DefaultPropLogic, PropLogic |
| NMNN | FastPropLogic, PropLogic |
| NOOO | FastPropLogic, PropLogic |
| NOOP | FastPropLogic, PropLogic |
| NOPO | FastPropLogic, PropLogic |
| NOPP | FastPropLogic, PropLogic |
| normalTextFrameTable | TextDisplay |
| normSeconds | PropLogicTest, PropLogic |
| nRandomRIO | PropLogicTest, PropLogic |
| nth | FastPropLogic, PropLogic |
| nullatomic | PropLogicCore, PropLogic |
| N_ | PropLogicTest, PropLogic |
| Olist | Olist |
| olist | Olist |
| opposition | Olist |
| orderForm | FastPropLogic, PropLogic |
| OrdPropForm | DefaultPropLogic, PropLogic |
| ordPropForm | DefaultPropLogic, PropLogic |
| pairMin | FastPropLogic, PropLogic |
| pairMin' | FastPropLogic, PropLogic |
| pairPartition | FastPropLogic, PropLogic |
| pairPrim | FastPropLogic, PropLogic |
| pairPrim' | FastPropLogic, PropLogic |
| pairwise | PropLogicCore, PropLogic |
| PCNF | |
| 1 (Type/Class) | DefaultPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| pcnf | PropLogicTest, PropLogic |
| pcnf' | PropLogicTest, PropLogic |
| PDNF | |
| 1 (Type/Class) | DefaultPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| pdnf | PropLogicTest, PropLogic |
| pdnf' | PropLogicTest, PropLogic |
| plainMerge | TextDisplay |
| plainTruthTable | DefaultPropLogic, PropLogic |
| pnfCorrect | PropLogicTest, PropLogic |
| pnfCorrectRepeat | PropLogicTest, PropLogic |
| pnfPerform | PropLogicTest, PropLogic |
| pnfPerformRandom | PropLogicTest, PropLogic |
| pnfPerformRepeat | PropLogicTest, PropLogic |
| pointwise | PropLogicCore, PropLogic |
| primeCNF | DefaultPropLogic, PropLogic |
| primeDNF | DefaultPropLogic, PropLogic |
| primeValuators | DefaultPropLogic, PropLogic |
| primForm | FastPropLogic, PropLogic |
| printTextFrame | TextDisplay |
| PropAlg | PropLogicCore, PropLogic |
| properDisatomic | PropLogicCore, PropLogic |
| properDisvalent | PropLogicCore, PropLogic |
| properlyDisjunct | Olist |
| properlyIncluded | Olist |
| properSubatomic | PropLogicCore, PropLogic |
| properSubvalent | PropLogicCore, PropLogic |
| PropForm | PropLogicCore, PropLogic |
| randomCharCNF | PropLogicTest, PropLogic |
| randomCharDNF | PropLogicTest, PropLogic |
| randomCharProp | PropLogicTest, PropLogic |
| randomChoice | PropLogicTest, PropLogic |
| randomCNF | PropLogicTest, PropLogic |
| randomDNF | PropLogicTest, PropLogic |
| randomIForm | PropLogicTest, PropLogic |
| randomILine | PropLogicTest, PropLogic |
| randomIntCNF | PropLogicTest, PropLogic |
| randomIntDNF | PropLogicTest, PropLogic |
| randomIntProp | PropLogicTest, PropLogic |
| randomListMember | PropLogicTest, PropLogic |
| randomPropForm | PropLogicTest, PropLogic |
| randomSublist | PropLogicTest, PropLogic |
| randomXForm | PropLogicTest, PropLogic |
| redAtoms | PropLogicCore, PropLogic |
| rightAlign | TextDisplay |
| rowHeightList | TextDisplay |
| satisfiable | PropLogicCore, PropLogic |
| Seconds | PropLogicTest, PropLogic |
| shuffle | PropLogicTest, PropLogic |
| SimpleCNF | DefaultPropLogic, PropLogic |
| simpleCNF | DefaultPropLogic, PropLogic |
| SimpleDNF | DefaultPropLogic, PropLogic |
| simpleDNF | DefaultPropLogic, PropLogic |
| singleton | Costack |
| size | DefaultPropLogic, PropLogic |
| SizeTriple | PropLogicTest, PropLogic |
| sizeTriple | PropLogicTest, PropLogic |
| SJ | PropLogicCore, PropLogic |
| SJ_ | PropLogicTest, PropLogic |
| sort | Costack |
| sorted | Costack |
| spcnf | PropLogicTest, PropLogic |
| spcnf' | PropLogicTest, PropLogic |
| spdnf | PropLogicTest, PropLogic |
| spdnf' | PropLogicTest, PropLogic |
| standDeviation | PropLogicTest, PropLogic |
| strictSort | Costack |
| strictSorted | Costack |
| stringToProp | PropLogicCore, PropLogic |
| subatomic | PropLogicCore, PropLogic |
| subj | PropLogicCore, PropLogic |
| subvalent | PropLogicCore, PropLogic |
| supElim | PropLogicCore, PropLogic |
| supRed | PropLogicCore, PropLogic |
| T | PropLogicCore, PropLogic |
| tail | Costack |
| take | Costack |
| test_prop_alg | PropLogicTest, PropLogic |
| TextFrame | TextDisplay |
| textFrame | TextDisplay |
| textFrameBox | TextDisplay |
| textFrameBracket | TextDisplay |
| TextFrameTable | TextDisplay |
| toIdxPropForm | FastPropLogic, PropLogic |
| toList | Costack |
| toM2CNF | FastPropLogic, PropLogic |
| toM2DNF | FastPropLogic, PropLogic |
| topAlign | TextDisplay |
| topForm | FastPropLogic, PropLogic |
| toPropForm | PropLogicCore, PropLogic |
| total_test | PropLogicTest, PropLogic |
| toXPCNF | FastPropLogic, PropLogic |
| toXPDNF | FastPropLogic, PropLogic |
| tr | FastPropLogic, PropLogic |
| true | PropLogicCore, PropLogic |
| TruthTable | DefaultPropLogic, PropLogic |
| truthTable | DefaultPropLogic, PropLogic |
| truthTableBy | DefaultPropLogic, PropLogic |
| truthTableToCNF | DefaultPropLogic, PropLogic |
| truthTableToDNF | DefaultPropLogic, PropLogic |
| truthTableUnitValuators | DefaultPropLogic, PropLogic |
| truthTableZeroValuators | DefaultPropLogic, PropLogic |
| T_ | PropLogicTest, PropLogic |
| unifyIdxPropForms | FastPropLogic, PropLogic |
| unifyXForms | FastPropLogic, PropLogic |
| union | Olist |
| unionList | Olist |
| unitValuators | DefaultPropLogic, PropLogic |
| valid | PropLogicCore, PropLogic |
| validates | DefaultPropLogic, PropLogic |
| valuate | DefaultPropLogic, PropLogic |
| Valuator | DefaultPropLogic, PropLogic |
| valuatorListToCNF | DefaultPropLogic, PropLogic |
| valuatorListToDNF | DefaultPropLogic, PropLogic |
| valuatorToNLC | DefaultPropLogic, PropLogic |
| valuatorToNLD | DefaultPropLogic, PropLogic |
| Verbose | PropLogicTest, PropLogic |
| verboseRandomPrimeTest | PropLogicTest, PropLogic |
| verboseRandomPrimeTesting | PropLogicTest, PropLogic |
| volume | FastPropLogic, PropLogic |
| weightedRandomMember | PropLogicTest, PropLogic |
| weightedRandomPropForm | PropLogicTest, PropLogic |
| width | TextDisplay |
| xCNF | FastPropLogic, PropLogic |
| xDNF | FastPropLogic, PropLogic |
| XForm | FastPropLogic, PropLogic |
| xformAtoms | FastPropLogic, PropLogic |
| xformIrrAtoms | FastPropLogic, PropLogic |
| xformRedAtoms | FastPropLogic, PropLogic |
| XLine | FastPropLogic, PropLogic |
| XLit | FastPropLogic, PropLogic |
| xLIT | FastPropLogic, PropLogic |
| xmin | FastPropLogic, PropLogic |
| xmin' | FastPropLogic, PropLogic |
| xNLC | FastPropLogic, PropLogic |
| xNLD | FastPropLogic, PropLogic |
| XPCNF | |
| 1 (Type/Class) | FastPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| xpcnf | PropLogicTest, PropLogic |
| xpcnf' | PropLogicTest, PropLogic |
| XPDNF | |
| 1 (Type/Class) | FastPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| xpdnf | PropLogicTest, PropLogic |
| xpdnf' | PropLogicTest, PropLogic |
| xprim | FastPropLogic, PropLogic |
| xprim' | FastPropLogic, PropLogic |
| zeroValuators | DefaultPropLogic, PropLogic |