at.logic.gapt.proofs.occurrences
Formula occurrence factory. This factory is stored in FormulaOccurrence itself, sometimes passed via an implicit
factory
parameter, or directly linked to defaultFormulaOccurrenceFactory.
Specialized factories can return instances of subclasses of FormulaOccurrence, e.g. at.logic.gapt.proofs.lksk.LKskFOFactory.
FIXME: The only supported factory is defaultFormulaOccurrenceFactory at the moment.
factory }}}
Formula occurrence factory. This factory is stored in FormulaOccurrence itself, sometimes passed via an implicit
parameter, or directly linked to defaultFormulaOccurrenceFactory.
Specialized factories can return instances of subclasses of FormulaOccurrence, e.g. at.logic.gapt.proofs.lksk.LKskFOFactory.
FIXME: The only supported factory is defaultFormulaOccurrenceFactory at the moment.
factory }}}
Specialized factories can return instances of subclasses of FormulaOccurrence, e.g. at.logic.gapt.proofs.lksk.LKskFOFactory.
FIXME: The only supported factory is defaultFormulaOccurrenceFactory at the moment.