Uses of Class
net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofFormulaRole

Packages that use TptpFofFormulaRole

Package	Description
net.sf.tweety.logics.fol.syntax.tptp.fof

Uses of TptpFofFormulaRole in net.sf.tweety.logics.fol.syntax.tptp.fof

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return TptpFofFormulaRole

Modifier and Type	Method and Description
TptpFofFormulaRole	TptpFofFormulaFormat.getRole()
static TptpFofFormulaRole	TptpFofFormulaRole.valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpFofFormulaRole[]	TptpFofFormulaRole.values() Returns an array containing the constants of this enum type, in the order they are declared.

Constructors in net.sf.tweety.logics.fol.syntax.tptp.fof with parameters of type TptpFofFormulaRole

Constructor and Description
TptpFofFormulaFormat(String name, TptpFofFormulaRole role, TptpFofFormula formula) Base constructor for entries without initial annotation.
TptpFofFormulaFormat(String name, TptpFofFormulaRole role, TptpFofFormula formula, String annotation) Extended constructor for entries with initial annotation.