QMaxSAT
maxsat
QuantifierC
expr
QuantifierHelper
expr
QuantifierRuleHelper
lk
q
PQPairs QuantifierHelper
qed
ProofBuilder
qliteral
HOLASTParser Prover9TermParserA
quantRulesNumber
expansionTrees lk
quant_l
ExtendedHerbrandSequent
quant_r
ExtendedHerbrandSequent
quantified
LeanCoPParser TPTPParser
quantifiedTerm
ExpansionTreeAction
quantifiedVariable
ExistsLeftRule ForallRightRule
quantifierBlock
DrawExpansionTree
quantifier_var
LKQuantifierException
questionMessage
Main