Class FolFormulaGenerator

  • public class FolFormulaGenerator
    extends RuleFormulaGenerator<FolFormula>
    Nils Geilen Implements RuleFormulaGenerator for first order logic. If a rule has been given a name, it is employed as an identifier.
    • Field Summary

      Modifier and Type Field Description
      (package private) static Predicate RULE_PREDICATE  
      (package private) static Sort sort
      Constants needed for atom creation
    • Method Summary

      Modifier and Type Method Description
      FolFormula getRuleFormula​(DefeasibleInferenceRule<FolFormula> 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