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 |