JFactReasonerConfiguration (JFact 5.0.3 API)

java.lang.Object
- uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration

All Implemented Interfaces:: Serializable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

public class JFactReasonerConfiguration
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, Serializable

configuration.

See Also:: Serialized Form

Constructor Summary

Constructors
Constructor and Description
`JFactReasonerConfiguration()` Instantiates a new j fact reasoner configuration.
`JFactReasonerConfiguration(JFactReasonerConfiguration source)` Instantiates a new j fact reasoner configuration.
`JFactReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration source)` Instantiates a new j fact reasoner configuration.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`<O> O`	`get(String name)` Gets the.
`String`	`getabsorptionFlags()` Gets the absorption flags.
`LogAdapter`	`getAbsorptionLog()` Gets the absorption log.
`boolean`	`getalwaysPreferEquals()` Gets the always prefer equals.
`boolean`	`getdumpQuery()` Gets the dump query.
`org.semanticweb.owlapi.reasoner.FreshEntityPolicy`	`getFreshEntityPolicy()`
`String`	`getIAOEFLG()` Gets the iaoeflg.
`org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy`	`getIndividualNodeSetPolicy()`
`LogAdapter`	`getLog()` Gets the log.
`int`	`getnSkipBeforeBlock()`
`static uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.StringOption`	`getOption(String name, String s)` Gets the option.
`String`	`getORSortSat()` Gets the oR sort sat.
`String`	`getORSortSub()` Gets the oR sort sub.
`org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor`	`getProgressMonitor()`
`long`	`getTimeOut()`
`boolean`	`getUseAnywhereBlocking()` Gets the use anywhere blocking.
`boolean`	`getuseBackjumping()` Gets the use backjumping.
`boolean`	`getuseCompletelyDefined()` Gets the use completely defined.
`boolean`	`getuseLazyBlocking()` Gets the use lazy blocking.
`boolean`	`getuseSemanticBranching()` Gets the use semantic branching.
`boolean`	`getverboseOutput()` Gets the verbose output.
`boolean`	`isAbsorptionLoggingActive()` Checks if is absorption logging active.
`boolean`	`isAllowUndefinedNames()`
`boolean`	`isDebugSaveRestore()` Checks if is debug save restore.
`boolean`	`isDebugSplitModules()` Checks if is fpp debug split modules.
`boolean`	`isImproveSaveRestoreDepset()` Checks if is rkg improve save restore depset.
`boolean`	`isLoggingActive()` Checks if is logging active.
`boolean`	`isNeedLogging()` check if it is necessary to log taxonomy action
`boolean`	`isPrintDagUsage()` Checks if is rkg print dag usage.
`boolean`	`isPrintTaxonomyInfo()` Checks if is tmp print taxonomy info.
`boolean`	`isQueryAnswering()`
`boolean`	`isSplits()` Checks if is splits.
`boolean`	`isUpdaterndFromSuperRoles()` Checks if is rkg update rnd from superroles.
`boolean`	`isUseADInModuleExtraction()` Checks if is rkg use ad in module extraction.
`boolean`	`isUseAxiomSplitting()` Checks if is use axiom splitting.
`boolean`	`isUseBlockingStatistics()` Checks if is use blocking statistics.
`boolean`	`isUseDynamicBackjumping()` Checks if is rkg use dynamic backjumping.
`boolean`	`isUseELReasoner()` Checks if is use el reasoner.
`boolean`	`isUseFairness()` Checks if is rkg use fairness.
`boolean`	`isUseIncrementalReasoning()` Checks if is use incremental reasoning.
`boolean`	`isUseLazyBlocking()` Checks if is use lazy blocking.
`boolean`	`isUseNodeCache()` Checks if is use node cache.
`boolean`	`isUseReasoningStatistics()` Checks if is use reasoning statistics.
`boolean`	`isUseSemanticBranching()` Checks if is use semantic branching.
`boolean`	`isUseSimpleRules()` Checks if is rkg use simple rules.
`boolean`	`isUseSortedReasoning()` Checks if is use sorted reasoning.
`boolean`	`isUseSpecialDomains()` Checks if is use special domains.
`boolean`	`isUseUndefinedNames()` Checks if is use undefined names.
`JFactReasonerConfiguration`	`setAbsorptionLog(OutputStream out)`
`JFactReasonerConfiguration`	`setAbsorptionLoggingActive(boolean b)` Sets the absorption logging active.
`JFactReasonerConfiguration`	`setAbsorptionLogOutputStream(OutputStream o)` Sets the absorption log output stream.
`JFactReasonerConfiguration`	`setAllowUndefinedNames(boolean b)`
`JFactReasonerConfiguration`	`setDebugSaveRestore(boolean b)` Sets the debug save restore.
`JFactReasonerConfiguration`	`setDebugSplitModules(boolean b)` Sets the fpp debug split modules.
`JFactReasonerConfiguration`	`setdumpQuery(boolean value)` Sets the dump query.
`JFactReasonerConfiguration`	`setImproveSaveRestoreDepset(boolean b)` Sets the rkg improve save restore depset.
`JFactReasonerConfiguration`	`setLoggingActive(boolean b)` Sets the logging active.
`JFactReasonerConfiguration`	`setNeedLogging(boolean b)`
`void`	`setnSkipBeforeBlock(int nSkipBeforeBlock)`
`JFactReasonerConfiguration`	`setorSortSat(String defSat)` Sets the or sort sat.
`JFactReasonerConfiguration`	`setorSortSub(String defSat)` Sets the or sort sub.
`JFactReasonerConfiguration`	`setPrintDagUsage(boolean b)` Sets the rkg print dag usage.
`JFactReasonerConfiguration`	`setPrintTaxonomyInfo(boolean b)` Sets the tmp print taxonomy info.
`JFactReasonerConfiguration`	`setQueryAnswering(boolean b)`
`JFactReasonerConfiguration`	`setRegularLogOutputStream(OutputStream o)` Sets the regular log output stream.
`JFactReasonerConfiguration`	`setSplits(boolean splits)` Sets the splits.
`JFactReasonerConfiguration`	`setUpdaterndFromSuperRoles(boolean b)` Sets the rkg update rnd from superroles.
`JFactReasonerConfiguration`	`setUseADInModuleExtraction(boolean value)` Sets the rkg use ad in module extraction.
`JFactReasonerConfiguration`	`setUseAnywhereBlocking(boolean b)` Sets the use anywhere blocking.
`JFactReasonerConfiguration`	`setUseAxiomSplitting(boolean useAxiomSplitting)` Sets the use axiom splitting.
`JFactReasonerConfiguration`	`setUseBlockingStatistics(boolean b)` Sets the use blocking statistics.
`JFactReasonerConfiguration`	`setUseDynamicBackjumping(boolean b)` Sets the rkg use dynamic backjumping.
`JFactReasonerConfiguration`	`setUseELReasoner(boolean useELReasoner)` Sets the use el reasoner.
`JFactReasonerConfiguration`	`setUseFairness(boolean b)` Sets the rkg use fairness.
`JFactReasonerConfiguration`	`setUseIncrementalReasoning(boolean useIncrementalReasoning)` Sets the use incremental reasoning.
`JFactReasonerConfiguration`	`setUseLazyBlocking(boolean b)` Sets the use lazy blocking.
`JFactReasonerConfiguration`	`setUseNodeCache(boolean val)` set flag to use node cache to value VAL.
`JFactReasonerConfiguration`	`setUseReasoningStatistics(boolean b)` Sets the use reasoning statistics.
`JFactReasonerConfiguration`	`setUseSemanticBranching(boolean b)` Sets the use semantic branching.
`JFactReasonerConfiguration`	`setUseSimpleRules(boolean b)` Sets the rkg use simple rules.
`JFactReasonerConfiguration`	`setUseSortedReasoning(boolean useSortedReasoning)` Sets the use sorted reasoning.
`JFactReasonerConfiguration`	`setUseSpecialDomains(boolean b)` Sets the use special domains.
`JFactReasonerConfiguration`	`setUseUndefinedNames(boolean useUndefinedNames)` Sets the use undefined names.
`JFactReasonerConfiguration`	`setverboseOutput(boolean b)` Sets the verbose output.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - JFactReasonerConfiguration
```
public JFactReasonerConfiguration()
```
    Instantiates a new j fact reasoner configuration.
  - JFactReasonerConfiguration
```
public JFactReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration source)
```
    Instantiates a new j fact reasoner configuration.
    
    Parameters:
    
    source - the source
  - JFactReasonerConfiguration
```
public JFactReasonerConfiguration(JFactReasonerConfiguration source)
```
    Instantiates a new j fact reasoner configuration.
    
    Parameters:
    
    source - the source
- Method Detail
  - setNeedLogging
```
public JFactReasonerConfiguration setNeedLogging(boolean b)
```
    Parameters:
    
    b - new value
    
    Returns:
    
    modified object
  - isNeedLogging
```
public boolean isNeedLogging()
```
    check if it is necessary to log taxonomy action
    
    Returns:
    
    true if necessary to log
  - isUseSortedReasoning
```
public boolean isUseSortedReasoning()
```
    Checks if is use sorted reasoning.
    
    Returns:
    
    true, if is use sorted reasoning
  - setUseSortedReasoning
```
public JFactReasonerConfiguration setUseSortedReasoning(boolean useSortedReasoning)
```
    Sets the use sorted reasoning.
    
    Parameters:
    
    useSortedReasoning - the new use sorted reasoning
    
    Returns:
    
    modified instance
  - isUseSpecialDomains
```
public boolean isUseSpecialDomains()
```
    Checks if is use special domains.
    
    Returns:
    
    true, if is use special domains
  - setAllowUndefinedNames
```
public JFactReasonerConfiguration setAllowUndefinedNames(boolean b)
```
    Parameters:
    
    b - value for allow undefined entities
    
    Returns:
    
    modified instance
  - isAllowUndefinedNames
```
public boolean isAllowUndefinedNames()
```
    Returns:
    
    is allow undefined entities
  - setQueryAnswering
```
public JFactReasonerConfiguration setQueryAnswering(boolean b)
```
    Parameters:
    
    b - value for query answering
    
    Returns:
    
    modified instance
  - isQueryAnswering
```
public boolean isQueryAnswering()
```
    Returns:
    
    is query answering
  - setUseSpecialDomains
```
public JFactReasonerConfiguration setUseSpecialDomains(boolean b)
```
    Sets the use special domains.
    
    Parameters:
    
    b - the new use special domains
    
    Returns:
    
    modified instance
  - isUseLazyBlocking
```
public boolean isUseLazyBlocking()
```
    Checks if is use lazy blocking.
    
    Returns:
    
    true, if is use lazy blocking
  - setUseLazyBlocking
```
public JFactReasonerConfiguration setUseLazyBlocking(boolean b)
```
    Sets the use lazy blocking.
    
    Parameters:
    
    b - the new use lazy blocking
    
    Returns:
    
    modified instance
  - getUseAnywhereBlocking
```
public boolean getUseAnywhereBlocking()
```
    Gets the use anywhere blocking.
    
    Returns:
    
    the use anywhere blocking
  - setUseAnywhereBlocking
```
public JFactReasonerConfiguration setUseAnywhereBlocking(boolean b)
```
    Sets the use anywhere blocking.
    
    Parameters:
    
    b - the new use anywhere blocking
    
    Returns:
    
    modified instance
  - isUseSemanticBranching
```
public boolean isUseSemanticBranching()
```
    Checks if is use semantic branching.
    
    Returns:
    
    true, if is use semantic branching
  - setUseSemanticBranching
```
public JFactReasonerConfiguration setUseSemanticBranching(boolean b)
```
    Sets the use semantic branching.
    
    Parameters:
    
    b - the new use semantic branching
    
    Returns:
    
    modified instance
  - setUseNodeCache
```
@PortedFrom(file="dlTBox.h",
            name="setUseNodeCache")
public JFactReasonerConfiguration setUseNodeCache(boolean val)
```
    set flag to use node cache to value VAL.
    
    Parameters:
    
    val - the new use node cache
    
    Returns:
    
    modified instance
  - isUseNodeCache
```
public boolean isUseNodeCache()
```
    Checks if is use node cache.
    
    Returns:
    
    true, if is use node cache
  - getOption
```
public static uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.StringOption getOption(String name,
                                                                                                         String s)
```
    Gets the option.
    
    Parameters:
    
    name - the name
    
    s - the s
    
    Returns:
    
    the option
  - get
```
public <O> O get(String name)
```
    Gets the.
    
    Type Parameters:
    
    O - the generic type
    
    Parameters:
    
    name - the name
    
    Returns:
    
    the o
  - getORSortSat
```
public String getORSortSat()
```
    Gets the oR sort sat.
    
    Returns:
    
    the oR sort sat
  - setorSortSat
```
public JFactReasonerConfiguration setorSortSat(String defSat)
```
    Sets the or sort sat.
    
    Parameters:
    
    defSat - the new or sort sat
    
    Returns:
    
    modified instance
  - getORSortSub
```
public String getORSortSub()
```
    Gets the oR sort sub.
    
    Returns:
    
    the oR sort sub
  - setorSortSub
```
public JFactReasonerConfiguration setorSortSub(String defSat)
```
    Sets the or sort sub.
    
    Parameters:
    
    defSat - the new or sort sub
    
    Returns:
    
    modified instance
  - getuseBackjumping
```
public boolean getuseBackjumping()
```
    Gets the use backjumping.
    
    Returns:
    
    the use backjumping
  - getuseLazyBlocking
```
public boolean getuseLazyBlocking()
```
    Gets the use lazy blocking.
    
    Returns:
    
    the use lazy blocking
  - getuseSemanticBranching
```
public boolean getuseSemanticBranching()
```
    Gets the use semantic branching.
    
    Returns:
    
    the use semantic branching
  - getverboseOutput
```
public boolean getverboseOutput()
```
    Gets the verbose output.
    
    Returns:
    
    the verbose output
  - getdumpQuery
```
public boolean getdumpQuery()
```
    Gets the dump query.
    
    Returns:
    
    the dump query
  - setdumpQuery
```
public JFactReasonerConfiguration setdumpQuery(boolean value)
```
    Sets the dump query.
    
    Parameters:
    
    value - the new dump query
    
    Returns:
    
    modified instance
  - getuseCompletelyDefined
```
public boolean getuseCompletelyDefined()
```
    Gets the use completely defined.
    
    Returns:
    
    the use completely defined
  - getalwaysPreferEquals
```
public boolean getalwaysPreferEquals()
```
    Gets the always prefer equals.
    
    Returns:
    
    the always prefer equals
  - getabsorptionFlags
```
public String getabsorptionFlags()
```
    Gets the absorption flags.
    
    Returns:
    
    the absorption flags
  - getIAOEFLG
```
public String getIAOEFLG()
```
    Gets the iaoeflg.
    
    Returns:
    
    the iaoeflg
  - getFreshEntityPolicy
```
public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
```
    Specified by:
    
    getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
  - getIndividualNodeSetPolicy
```
public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
```
    Specified by:
    
    getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
  - getProgressMonitor
```
public org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor getProgressMonitor()
```
    Specified by:
    
    getProgressMonitor in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
  - getTimeOut
```
public long getTimeOut()
```
    Specified by:
    
    getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
  - setverboseOutput
```
public JFactReasonerConfiguration setverboseOutput(boolean b)
```
    Sets the verbose output.
    
    Parameters:
    
    b - the new verbose output
    
    Returns:
    
    modified instance
  - isLoggingActive
```
public boolean isLoggingActive()
```
    Checks if is logging active.
    
    Returns:
    
    true, if is logging active
  - setLoggingActive
```
public JFactReasonerConfiguration setLoggingActive(boolean b)
```
    Sets the logging active.
    
    Parameters:
    
    b - the new logging active
    
    Returns:
    
    modified instance
  - isAbsorptionLoggingActive
```
public boolean isAbsorptionLoggingActive()
```
    Checks if is absorption logging active.
    
    Returns:
    
    true, if is absorption logging active
  - setAbsorptionLoggingActive
```
public JFactReasonerConfiguration setAbsorptionLoggingActive(boolean b)
```
    Sets the absorption logging active.
    
    Parameters:
    
    b - the new absorption logging active
    
    Returns:
    
    modified instance
  - isImproveSaveRestoreDepset
```
public boolean isImproveSaveRestoreDepset()
```
    Checks if is rkg improve save restore depset.
    
    Returns:
    
    true, if is rkg improve save restore depset
  - setImproveSaveRestoreDepset
```
public JFactReasonerConfiguration setImproveSaveRestoreDepset(boolean b)
```
    Sets the rkg improve save restore depset.
    
    Parameters:
    
    b - the new rkg improve save restore depset
    
    Returns:
    
    modified instance
  - isPrintDagUsage
```
public boolean isPrintDagUsage()
```
    Checks if is rkg print dag usage.
    
    Returns:
    
    true, if is rkg print dag usage
  - setPrintDagUsage
```
public JFactReasonerConfiguration setPrintDagUsage(boolean b)
```
    Sets the rkg print dag usage.
    
    Parameters:
    
    b - the new rkg print dag usage
    
    Returns:
    
    modified instance
  - isUseSimpleRules
```
public boolean isUseSimpleRules()
```
    Checks if is rkg use simple rules.
    
    Returns:
    
    true, if is rkg use simple rules
  - setUseSimpleRules
```
public JFactReasonerConfiguration setUseSimpleRules(boolean b)
```
    Sets the rkg use simple rules.
    
    Parameters:
    
    b - the new rkg use simple rules
    
    Returns:
    
    modified instance
  - isUseReasoningStatistics
```
public boolean isUseReasoningStatistics()
```
    Checks if is use reasoning statistics.
    
    Returns:
    
    true, if is use reasoning statistics
  - setUseReasoningStatistics
```
public JFactReasonerConfiguration setUseReasoningStatistics(boolean b)
```
    Sets the use reasoning statistics.
    
    Parameters:
    
    b - the new use reasoning statistics
    
    Returns:
    
    modified instance
  - isUpdaterndFromSuperRoles
```
public boolean isUpdaterndFromSuperRoles()
```
    Checks if is rkg update rnd from superroles.
    
    Returns:
    
    true, if is rkg update rnd from superroles
  - setUpdaterndFromSuperRoles
```
public JFactReasonerConfiguration setUpdaterndFromSuperRoles(boolean b)
```
    Sets the rkg update rnd from superroles.
    
    Parameters:
    
    b - the new rkg update rnd from superroles
    
    Returns:
    
    modified instance
  - isUseBlockingStatistics
```
public boolean isUseBlockingStatistics()
```
    Checks if is use blocking statistics.
    
    Returns:
    
    true, if is use blocking statistics
  - setUseBlockingStatistics
```
public JFactReasonerConfiguration setUseBlockingStatistics(boolean b)
```
    Sets the use blocking statistics.
    
    Parameters:
    
    b - the new use blocking statistics
    
    Returns:
    
    modified instance
  - isUseDynamicBackjumping
```
public boolean isUseDynamicBackjumping()
```
    Checks if is rkg use dynamic backjumping.
    
    Returns:
    
    true, if is rkg use dynamic backjumping
  - setUseDynamicBackjumping
```
public JFactReasonerConfiguration setUseDynamicBackjumping(boolean b)
```
    Sets the rkg use dynamic backjumping.
    
    Parameters:
    
    b - the new rkg use dynamic backjumping
    
    Returns:
    
    modified instance
  - isPrintTaxonomyInfo
```
public boolean isPrintTaxonomyInfo()
```
    Checks if is tmp print taxonomy info.
    
    Returns:
    
    true, if is tmp print taxonomy info
  - setPrintTaxonomyInfo
```
public JFactReasonerConfiguration setPrintTaxonomyInfo(boolean b)
```
    Sets the tmp print taxonomy info.
    
    Parameters:
    
    b - the new tmp print taxonomy info
    
    Returns:
    
    modified instance
  - isDebugSaveRestore
```
public boolean isDebugSaveRestore()
```
    Checks if is debug save restore.
    
    Returns:
    
    true, if is debug save restore
  - setDebugSaveRestore
```
public JFactReasonerConfiguration setDebugSaveRestore(boolean b)
```
    Sets the debug save restore.
    
    Parameters:
    
    b - the new debug save restore
    
    Returns:
    
    modified instance
  - isUseFairness
```
public boolean isUseFairness()
```
    Checks if is rkg use fairness.
    
    Returns:
    
    true, if is rkg use fairness
  - setUseFairness
```
public JFactReasonerConfiguration setUseFairness(boolean b)
```
    Sets the rkg use fairness.
    
    Parameters:
    
    b - the new rkg use fairness
    
    Returns:
    
    modified instance
  - getnSkipBeforeBlock
```
public int getnSkipBeforeBlock()
```
    Returns:
    
    number of nodes to skip
  - setnSkipBeforeBlock
```
public void setnSkipBeforeBlock(int nSkipBeforeBlock)
```
    Parameters:
    
    nSkipBeforeBlock - number of nodes to skip
  - isDebugSplitModules
```
public boolean isDebugSplitModules()
```
    Checks if is fpp debug split modules.
    
    Returns:
    
    true, if is fpp debug split modules
  - setDebugSplitModules
```
public JFactReasonerConfiguration setDebugSplitModules(boolean b)
```
    Sets the fpp debug split modules.
    
    Parameters:
    
    b - the new fpp debug split modules
    
    Returns:
    
    modified instance
  - isSplits
```
public boolean isSplits()
```
    Checks if is splits.
    
    Returns:
    
    true, if is splits
  - setSplits
```
public JFactReasonerConfiguration setSplits(boolean splits)
```
    Sets the splits.
    
    Parameters:
    
    splits - the new splits
    
    Returns:
    
    modified instance
  - getLog
```
public LogAdapter getLog()
```
    Gets the log.
    
    Returns:
    
    the log
  - getAbsorptionLog
```
public LogAdapter getAbsorptionLog()
```
    Gets the absorption log.
    
    Returns:
    
    the absorption log
  - setAbsorptionLog
```
public JFactReasonerConfiguration setAbsorptionLog(OutputStream out)
```
    Parameters:
    
    out - output stream to use
    
    Returns:
    
    modified object
  - setRegularLogOutputStream
```
public JFactReasonerConfiguration setRegularLogOutputStream(OutputStream o)
```
    Sets the regular log output stream.
    
    Parameters:
    
    o - the new regular log output stream
    
    Returns:
    
    modified instance
  - setAbsorptionLogOutputStream
```
public JFactReasonerConfiguration setAbsorptionLogOutputStream(OutputStream o)
```
    Sets the absorption log output stream.
    
    Parameters:
    
    o - the new absorption log output stream
    
    Returns:
    
    modified instance
  - isUseELReasoner
```
public boolean isUseELReasoner()
```
    Checks if is use el reasoner.
    
    Returns:
    
    true, if is use el reasoner
  - setUseELReasoner
```
public JFactReasonerConfiguration setUseELReasoner(boolean useELReasoner)
```
    Sets the use el reasoner.
    
    Parameters:
    
    useELReasoner - the new use el reasoner
    
    Returns:
    
    modified instance
  - isUseUndefinedNames
```
public boolean isUseUndefinedNames()
```
    Checks if is use undefined names.
    
    Returns:
    
    true, if is use undefined names
  - setUseUndefinedNames
```
public JFactReasonerConfiguration setUseUndefinedNames(boolean useUndefinedNames)
```
    Sets the use undefined names.
    
    Parameters:
    
    useUndefinedNames - the new use undefined names
    
    Returns:
    
    modified instance
  - isUseAxiomSplitting
```
public boolean isUseAxiomSplitting()
```
    Checks if is use axiom splitting.
    
    Returns:
    
    true, if is use axiom splitting
  - setUseAxiomSplitting
```
public JFactReasonerConfiguration setUseAxiomSplitting(boolean useAxiomSplitting)
```
    Sets the use axiom splitting.
    
    Parameters:
    
    useAxiomSplitting - the new use axiom splitting
    
    Returns:
    
    modified instance
  - isUseADInModuleExtraction
```
public boolean isUseADInModuleExtraction()
```
    Checks if is rkg use ad in module extraction.
    
    Returns:
    
    true, if is rkg use ad in module extraction
  - setUseADInModuleExtraction
```
public JFactReasonerConfiguration setUseADInModuleExtraction(boolean value)
```
    Sets the rkg use ad in module extraction.
    
    Parameters:
    
    value - the new rkg use ad in module extraction
    
    Returns:
    
    modified instance
  - isUseIncrementalReasoning
```
public boolean isUseIncrementalReasoning()
```
    Checks if is use incremental reasoning.
    
    Returns:
    
    true, if is use incremental reasoning
  - setUseIncrementalReasoning
```
public JFactReasonerConfiguration setUseIncrementalReasoning(boolean useIncrementalReasoning)
```
    Sets the use incremental reasoning.
    
    Parameters:
    
    useIncrementalReasoning - the new use incremental reasoning
    
    Returns:
    
    modified instance

Class JFactReasonerConfiguration

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

JFactReasonerConfiguration

JFactReasonerConfiguration

JFactReasonerConfiguration

Method Detail

setNeedLogging

isNeedLogging

isUseSortedReasoning

setUseSortedReasoning

isUseSpecialDomains

setAllowUndefinedNames

isAllowUndefinedNames

setQueryAnswering

isQueryAnswering

setUseSpecialDomains

isUseLazyBlocking

setUseLazyBlocking

getUseAnywhereBlocking

setUseAnywhereBlocking

isUseSemanticBranching

setUseSemanticBranching

setUseNodeCache

isUseNodeCache

getOption

get

getORSortSat

setorSortSat

getORSortSub

setorSortSub

getuseBackjumping

getuseLazyBlocking

getuseSemanticBranching

getverboseOutput

getdumpQuery

setdumpQuery

getuseCompletelyDefined

getalwaysPreferEquals

getabsorptionFlags

getIAOEFLG

getFreshEntityPolicy

getIndividualNodeSetPolicy

getProgressMonitor

getTimeOut

setverboseOutput

isLoggingActive

setLoggingActive

isAbsorptionLoggingActive

setAbsorptionLoggingActive

isImproveSaveRestoreDepset

setImproveSaveRestoreDepset

isPrintDagUsage

setPrintDagUsage

isUseSimpleRules

setUseSimpleRules

isUseReasoningStatistics

setUseReasoningStatistics

isUpdaterndFromSuperRoles

setUpdaterndFromSuperRoles

isUseBlockingStatistics

setUseBlockingStatistics

isUseDynamicBackjumping

setUseDynamicBackjumping

isPrintTaxonomyInfo

setPrintTaxonomyInfo

isDebugSaveRestore

setDebugSaveRestore

isUseFairness

setUseFairness

getnSkipBeforeBlock

setnSkipBeforeBlock

isDebugSplitModules

setDebugSplitModules

isSplits

setSplits

getLog

getAbsorptionLog