Uses of Enum Class
org.semanticweb.owlapi.reasoner.FreshEntityPolicy
Packages that use FreshEntityPolicy
Package
Description
OWLReasoner package.
OWLReasoner implementation package.
Structural reasoner implementation package.
-
Uses of FreshEntityPolicy in org.semanticweb.owlapi.reasoner
Methods in org.semanticweb.owlapi.reasoner that return FreshEntityPolicyModifier and TypeMethodDescriptionOWLReasoner.getFreshEntityPolicy()
Gets the Fresh Entity Policy in use by this reasoner.OWLReasonerConfiguration.getFreshEntityPolicy()
Gets the fresh entity policy that should be used.SimpleConfiguration.getFreshEntityPolicy()
static FreshEntityPolicy
Returns the enum constant of this class with the specified name.static FreshEntityPolicy[]
FreshEntityPolicy.values()
Returns an array containing the constants of this enum class, in the order they are declared.Constructors in org.semanticweb.owlapi.reasoner with parameters of type FreshEntityPolicyModifierConstructorDescriptionSimpleConfiguration
(FreshEntityPolicy freshEntityPolicy, long timeOut) SimpleConfiguration
(ReasonerProgressMonitor progressMonitor, FreshEntityPolicy freshEntityPolicy, long timeOut, IndividualNodeSetPolicy individualNodeSetPolicy) -
Uses of FreshEntityPolicy in org.semanticweb.owlapi.reasoner.impl
Methods in org.semanticweb.owlapi.reasoner.impl that return FreshEntityPolicy -
Uses of FreshEntityPolicy in org.semanticweb.owlapi.reasoner.structural
Methods in org.semanticweb.owlapi.reasoner.structural that return FreshEntityPolicy