Contents
Index
boolsimplifier-0.1.5: Simplification tools for simple propositional formuals.
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