boolsimplifier-0.1.8: Simplification tools for simple propositional formulas. (Index)

boolsimplifier-0.1.8: Simplification tools for simple propositional formulas.

Index

andq	Data.BoolSimplifier
andqs	Data.BoolSimplifier
CombineQ	Data.BoolSimplifier
extractAs	Data.BoolSimplifier
extractAtomCs	Data.BoolSimplifier
extractCs	Data.BoolSimplifier
fixSimplifyQueryRep	Data.BoolSimplifier
getCommonClauseAs	Data.BoolSimplifier
getCommonClauseCs	Data.BoolSimplifier
HasClause	Data.BoolSimplifier
hasClause	Data.BoolSimplifier
Ion	Data.BoolSimplifier
isConstQR	Data.BoolSimplifier
isEmptyQR	Data.BoolSimplifier
maximumByNote	Data.BoolSimplifier
Neg	Data.BoolSimplifier
orq	Data.BoolSimplifier
orqs	Data.BoolSimplifier
Pos	Data.BoolSimplifier
PPConstQR	Data.BoolSimplifier
ppConstQR	Data.BoolSimplifier
PPQueryRep	Data.BoolSimplifier
ppQueryRep	Data.BoolSimplifier
qAnd	Data.BoolSimplifier
QAndTyp	Data.BoolSimplifier
QAtom	Data.BoolSimplifier
qAtom	Data.BoolSimplifier
QAtomTyp	Data.BoolSimplifier
QFlipTyp	Data.BoolSimplifier
QNeg	Data.BoolSimplifier
QNot	Data.BoolSimplifier
qNot	Data.BoolSimplifier
QOp	Data.BoolSimplifier
qop	Data.BoolSimplifier
qOr	Data.BoolSimplifier
QOrTyp	Data.BoolSimplifier
QueryRep	Data.BoolSimplifier
simplifyIons	Data.BoolSimplifier
simplifyQueryRep	Data.BoolSimplifier
stripClause	Data.BoolSimplifier