Uses of Enum Class
com.articulate.sigma.trans.TPTP3ProofProcessor.GraphFormulaFormat

Packages that use TPTP3ProofProcessor.GraphFormulaFormat

Package	Description
com.articulate.sigma.trans	Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Uses of TPTP3ProofProcessor.GraphFormulaFormat in com.articulate.sigma.trans

Methods in com.articulate.sigma.trans that return TPTP3ProofProcessor.GraphFormulaFormat

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

Methods in com.articulate.sigma.trans with parameters of type TPTP3ProofProcessor.GraphFormulaFormat

Modifier and Type	Method	Description
void	TPTP3ProofProcessor.setGraphFormulaFormat(TPTP3ProofProcessor.GraphFormulaFormat fmt)