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

PropLogic-0.9.0.1: 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 - D

defaultJunctorWeighting	PropLogicTest, PropLogic
delete	Olist
difference	Olist
directSubvaluators	DefaultPropLogic, PropLogic
disatomic	PropLogicCore, PropLogic
disj	PropLogicCore, PropLogic
disjunct	Olist
disvalent	PropLogicCore, PropLogic
DJ	PropLogicCore, PropLogic
DJ_	PropLogicTest, PropLogic
DNF	DefaultPropLogic, PropLogic
dnfToValuatorList	DefaultPropLogic, PropLogic
dualForm	FastPropLogic, PropLogic
dualLine	FastPropLogic, PropLogic