Class FolFormulaGenerator


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