fakeSize
AbstractRPILUAlgorithm
fix
ProofFixing
fixProofAndLowerUnits
PseudoUnitsDuringFixing
fixProofAndUnits
PseudoUnitsNotDuringFixing
fixProofs
AbstractRPILUAlgorithm
NewUnitLowering
fixTopDown
ProofFixing
foldDown
ProofNodeCollection
foldRight
ProofNodeCollection
foreachDown
ProofNodeCollection
forget
Resolvent
forgetClause
Resolvent
forgetLiteralsBelow
Proof
Formula
expression
formula
FormulaGenerator
generator
formulaToType
CurryHoward
function
App