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 |