public class Solver.OptimizationOptions
extends java.lang.Object
Constructor | Description |
---|---|
OptimizationOptions() |
Modifier and Type | Method | Description |
---|---|---|
boolean |
areFastCompRulesEnabled() |
Returns
true if fast rewrite rules for comp constraints are enabled. |
boolean |
areFastUnionRulesEnabled() |
Returns
true if fast rewrite rules for union constraints are enabled. |
boolean |
areInOptimizationsEnabled() |
Returns
true if optimizations for "in" constraints are enabled. |
boolean |
areNinOptimizationsEnabled() |
Returns
true if optimizations for "nin" constraints are enabled. |
boolean |
areSetUnificationOptimizationsEnabled() |
Returns
true if optimizations for set unification constraints are enabled. |
boolean |
isRisExpansionCacheEnabled() |
Returns
true if the Ris expansion cache is enabled when solving constraints involving Ris . |
boolean |
isRisExpansionOptimizationEnabled() |
Returns
true if the Ris expansion is enabled when solving constraints involving Ris . |
void |
setRisExpansionCacheSize(int maxEntries) |
If the ris expansion cache is enabled sets the cache size to
maxEntries . |
void |
setUseFastCompRulesFlag(boolean flag) |
Enables fast comp rules if
flag == true , disables them otherwise. |
void |
setUseFastUnionRulesFlag(boolean flag) |
Enables fast union rules if
flag == true , disables them otherwise. |
void |
setUseInOptimizationsFlag(boolean flag) |
Enables "in" optimizations if
flag == true , disables them otherwise. |
void |
setUseNinOptimizationsFlag(boolean flag) |
Enables "nin" optimizations if
flag == true , disables them otherwise. |
void |
setUseRisExpansionCacheFlag(boolean flag) |
Enables ris expansion optimization if
flag == true and enables the cache,
disables the cache otherwise. |
void |
setUseRisExpansionOptimizationFlag(boolean flag) |
Enables ris expansion optimization if
flag == true , disables it otherwise. |
void |
setUseSetUnificationOptimizationsFlag(boolean flag) |
Enables s unification optimizations if
flag == true , disables them otherwise. |
public boolean isRisExpansionOptimizationEnabled()
true
if the Ris
expansion is enabled when solving constraints involving Ris
.
Defaults to true
.true
if Ris expansion is enabled, false
otherwise.public boolean areFastUnionRulesEnabled()
true
if fast rewrite rules for union constraints are enabled.
Note that fast union rules DO NOT WORK with Ris
and CP
.
Defaults to false
.true
if fast rewrite rules for unions are enabled, false
otherwise.public boolean areFastCompRulesEnabled()
true
if fast rewrite rules for comp constraints are enabled.
Defaults to true
.true
if fast union rules for comps are enabled, false
otherwise.public boolean areInOptimizationsEnabled()
true
if optimizations for "in" constraints are enabled.
Defaults to true
.true
if optimizations for "in" constraints are enabled, false
otherwise.public boolean areNinOptimizationsEnabled()
true
if optimizations for "nin" constraints are enabled.
Defaults to true
.true
if optimizations for "nin" constraints are enabled, false
otherwise.public boolean areSetUnificationOptimizationsEnabled()
true
if optimizations for set unification constraints are enabled.
Defaults to true
.true
if optimizations for set unification constraints are enabled, false
otherwise.public boolean isRisExpansionCacheEnabled()
true
if the Ris
expansion cache is enabled when solving constraints involving Ris
.
Defaults to true
.true
if Ris expansion is enabled, false
otherwise.public void setUseRisExpansionOptimizationFlag(boolean flag)
flag == true
, disables it otherwise.flag
- a boolean flag to enable/disable the optimization.public void setUseFastUnionRulesFlag(boolean flag)
flag == true
, disables them otherwise.
NOTE that fast union rules DOES NOT WORK with Ris
or CP
.flag
- a boolean flag to enable/disable the optimization.public void setUseFastCompRulesFlag(boolean flag)
flag == true
, disables them otherwise.flag
- a boolean flag to enable/disable the optimization.public void setUseInOptimizationsFlag(boolean flag)
flag == true
, disables them otherwise.flag
- a boolean flag to enable/disable the optimization.public void setUseNinOptimizationsFlag(boolean flag)
flag == true
, disables them otherwise.flag
- a boolean flag to enable/disable the optimization.public void setUseSetUnificationOptimizationsFlag(boolean flag)
flag == true
, disables them otherwise.flag
- a boolean flag to enable/disable the optimization.public void setUseRisExpansionCacheFlag(boolean flag)
flag == true
and enables the cache,
disables the cache otherwise.flag
- a boolean flag to enable/disable the optimization.public void setRisExpansionCacheSize(int maxEntries)
maxEntries
.maxEntries
- the maximum number of entries in the cache.