GenBinary

proof

generateAll

FormulaGenerator

generateExample

FormulaGenerator

generateOne

FormulaGenerator

generator

algorithm

GenNullary

proof

GenUnary

proof

get

Report Substitution Substitution

getInputNodes

ProofFixing

getIrregularNodes

Regularization

getProof

SimplePropositionalResolutionProofFormatParser

getProofFromFile

ProofParser

getSubpositions

IntListPosition SinglePosition