+
+ public long getInterval() {
+ return interval;
+ }
+
+ public boolean disabledUpdates() {
+ return disabledUpdates;
+ }
+
+ public boolean isKeyVariablesVertexHover() {
+ return keyVariablesVertexHover;
+ }
+
+ public boolean isKeyVariablesEdgesHover() {
+ return keyVariablesEdgesHover;
+ }
+
+ public boolean isResetVisualisation() {
+ return resetVisualisation;
+ }