Class FolFormulaGenerator

java.lang.Object
org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<FolFormula>
org.tweetyproject.arg.aspic.ruleformulagenerator.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.