Skip to content

Commit

Permalink
Fix Undo unnecessary finals #6
Browse files Browse the repository at this point in the history
  • Loading branch information
ignazio1977 committed Feb 18, 2020
1 parent 69c9ab3 commit 533a2a4
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/main/java/org/semanticweb/HermiT/Configuration.java
Original file line number Diff line number Diff line change
Expand Up @@ -171,14 +171,14 @@ public static enum ExistentialStrategyType {
* warning() method of the interface, e.g., if it ignores an unsupported datatype. HermiT does not provide an
* implementation for the interface itself though.
*/
public final WarningMonitor warningMonitor;
public WarningMonitor warningMonitor;
/**
* If a progress monitor is set, HermiT will report the progress of a classification task. This is used for
* example by Protege.
*/
public ReasonerProgressMonitor reasonerProgressMonitor;
/**tableau monitor type*/
public final TableauMonitorType tableauMonitorType;
public TableauMonitorType tableauMonitorType;
/**direct blocking type*/
public DirectBlockingType directBlockingType;
/**blocking strategy type*/
Expand Down Expand Up @@ -237,7 +237,7 @@ public static enum ExistentialStrategyType {
* The default value is false and HermiT will use a specialiased classification strategy for deterministic ontologies, which often is faster, but not always.
* If the value is set to true, then HermiT will use the Quasi Ordering Classification method even for deterministic ontologies.
*/
public final boolean forceQuasiOrderClassification;
public boolean forceQuasiOrderClassification;

/**Create configuration.*/
public Configuration() {
Expand Down

0 comments on commit 533a2a4

Please sign in to comment.