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 | 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 |
isOlist | Olist |
isOrderedForm | FastPropLogic, PropLogic |
isOrdPropForm | DefaultPropLogic, PropLogic |
isPairwiseMinimal | FastPropLogic, PropLogic |
iTr | FastPropLogic, PropLogic |
itr | FastPropLogic, PropLogic |
iUni | FastPropLogic, PropLogic |