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

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

A
B
C
D
E
F
I
J
L
M
N
O
P
R
S
T
U
V
W
X
Z
All

Index - L

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