public class PlFormulaGenerator extends RuleFormulaGenerator<PropositionalFormula>
RuleFormulaGenerator
for propositional logic.
If a rule has been given a name, it is employed as an identifier.Constructor and Description |
---|
PlFormulaGenerator() |
Modifier and Type | Method and Description |
---|---|
PropositionalFormula |
getRuleFormula(DefeasibleInferenceRule<PropositionalFormula> r)
Transforms a defeasible ASPIC inference rule into a corresponding formula
of type
T |
getInferenceRule
public PropositionalFormula getRuleFormula(DefeasibleInferenceRule<PropositionalFormula> r)
RuleFormulaGenerator
T
getRuleFormula
in class RuleFormulaGenerator<PropositionalFormula>
r
- is the inferende rule to be transformedT