remove redundant 'final' modifier from interface members.
Thanks to CheckStyle.
Somehow I do not get these Checkstyle warnings locally.
@@ -33,7 +33,7 @@ public interface Formula {
* SMTInterpol has problems with some of them. For consistency, we disallow those names for all
* solvers.
*/
- final ImmutableSet<String> BASIC_OPERATORS =
+ ImmutableSet<String> BASIC_OPERATORS =
ImmutableSet.of("!", "+", "-", "*", "/", "=", "<", ">", "<=", ">=");
/**
@@ -44,7 +44,7 @@ public interface Formula {
* SMTInterpol has problems with some of them. For consistency, we disallow those names for all
* solvers.
*/
- final ImmutableSet<String> SMTLIB2_KEYWORDS =
+ ImmutableSet<String> SMTLIB2_KEYWORDS =
ImmutableSet.of("true", "false", "and", "or", "select", "store", "xor", "distinct");
/**
@@ -55,7 +55,7 @@ public interface Formula {
* SMTInterpol has problems with some of them. For consistency, we disallow those names for all
* solvers.
*/
- final ImmutableSet<Character> DISALLOWED_CHARACTERS = ImmutableSet.of('|', '\\');
+ ImmutableSet<Character> DISALLOWED_CHARACTERS = ImmutableSet.of('|', '\\');
/**
* returns an arbitrary representation of the formula, might be human- or machine-readable.
