Class PlFormulaGenerator

  • public class PlFormulaGenerator
    extends RuleFormulaGenerator<PlFormula>
    Nils Geilen Implements RuleFormulaGenerator for propositional logic. If a rule has been given a name, it is employed as an identifier.
    • Method Summary

      Modifier and Type Method Description
      PlFormula getRuleFormula​(DefeasibleInferenceRule<PlFormula> r)
      Transforms a defeasible ASPIC inference rule into a corresponding formula of type T
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait