Uses of Enum Class
menu.OWLAPIKeywords.Explanation.EntailmentCheckerType

Packages that use OWLAPIKeywords.Explanation.EntailmentCheckerType

Package	Description
menu
owl_api.binding

Uses of OWLAPIKeywords.Explanation.EntailmentCheckerType in menu

Methods in menu that return OWLAPIKeywords.Explanation.EntailmentCheckerType

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

Uses of OWLAPIKeywords.Explanation.EntailmentCheckerType in owl_api.binding

Methods in owl_api.binding that return types with arguments of type OWLAPIKeywords.Explanation.EntailmentCheckerType

Modifier and Type	Method	Description
Optional<OWLAPIKeywords.Explanation.EntailmentCheckerType>	OWLAPIAlgorithmParameterConfig.checkerFactory()	Returns the value of the checkerFactory record component.

Constructor parameters in owl_api.binding with type arguments of type OWLAPIKeywords.Explanation.EntailmentCheckerType

Modifier	Constructor	Description
	OWLAPIAlgorithmParameterConfig(Optional<OWLAPIKeywords.Explanation.EntailmentCheckerType> checkerFactory, Optional<OWLAPIKeywords.Explanation.ExpansionStrategyType> expansionStrategy, Optional<OWLAPIKeywords.Explanation.ContractionStrategyType> contractionStrategy, Optional<OWLAPIKeywords.Explanation.ExplanationProgressMonitorType> progressMonitor)	Creates an instance of a OWLAPIAlgorithmParameterConfig record class.