boolexpr-0.1: Boolean expressions with various representations and search queries. (Index)

boolexpr-0.1: Boolean expressions with various representations and search queries.

Index

/\	Data.BoolExpr
BAnd	Data.BoolExpr
BConst	Data.BoolExpr
bConst	Data.BoolExpr
BFalse	Data.BoolExpr
bFalse	Data.BoolExpr
BNot	Data.BoolExpr
bNot	Data.BoolExpr
Boolean	Data.BoolExpr
BoolExpr	Data.BoolExpr
boolTreeToCNF	Data.BoolExpr
boolTreeToDNF	Data.BoolExpr
BOr	Data.BoolExpr
BTrue	Data.BoolExpr
bTrue	Data.BoolExpr
CNF
1 (Type/Class)	Data.BoolExpr
2 (Data Constructor)	Data.BoolExpr
Conj
1 (Type/Class)	Data.BoolExpr
2 (Data Constructor)	Data.BoolExpr
constants	Data.BoolExpr
Disj
1 (Type/Class)	Data.BoolExpr
2 (Data Constructor)	Data.BoolExpr
DNF
1 (Type/Class)	Data.BoolExpr
2 (Data Constructor)	Data.BoolExpr
dualize	Data.BoolExpr
evalBoolExpr	Data.BoolExpr
identifier	Data.BoolExpr.Parser
languageDef	Data.BoolExpr.Parser
lexer	Data.BoolExpr.Parser
Negative	Data.BoolExpr
parseBoolExpr	Data.BoolExpr.Parser
Positive	Data.BoolExpr
pushNotInwards	Data.BoolExpr
reduceBoolExpr	Data.BoolExpr
reduceCNF	Data.BoolExpr
reduceDNF	Data.BoolExpr
Signed	Data.BoolExpr
symbol	Data.BoolExpr.Parser
unCNF	Data.BoolExpr
unConj	Data.BoolExpr
unDisj	Data.BoolExpr
unDNF	Data.BoolExpr
whiteSpace	Data.BoolExpr.Parser
\/	Data.BoolExpr