001package conexp.fx.core.util;
002
003/*
004 * #%L
005 * Concept Explorer FX
006 * %%
007 * Copyright (C) 2010 - 2023 Francesco Kriegel
008 * %%
009 * This program is free software: you can redistribute it and/or modify
010 * it under the terms of the GNU General Public License as
011 * published by the Free Software Foundation, either version 3 of the
012 * License, or (at your option) any later version.
013 * 
014 * This program is distributed in the hope that it will be useful,
015 * but WITHOUT ANY WARRANTY; without even the implied warranty of
016 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
017 * GNU General Public License for more details.
018 * 
019 * You should have received a copy of the GNU General Public
020 * License along with this program.  If not, see
021 * <http://www.gnu.org/licenses/gpl-3.0.html>.
022 * #L%
023 */
024
025import javafx.util.Duration;
026
027public class Constants {
028
029  public static final double   FRAMES_PER_SECOND                = 100d;
030  public static final double   FRAME_SIZE_MILLIS                = 1000d / FRAMES_PER_SECOND;
031  public static final int      MAX_CONCEPTS                     = 2048;
032  public static final int      MULTI_CLICK_DURATION             = 300;
033  public static final int      UI_DELAY                         = 100;
034  public static final int      ANIMATION_TIME                   = 100;
035  public static final Duration ANIMATION_DURATION               = Duration.millis(ANIMATION_TIME);
036  public static final double   HIDE_OPACITY                     = 0.191d;
037  public static final double   SHOW_OPACITY                     = 1d;
038  public static final String   CROSS_CHARACTER                  = "\u2715";
039  public static final String   NO_CROSS_CHARACTER               = "\u00b7";
040  public static final String   NO_CROSS_CHARACTER_BOLD          = "\u25cf";
041  public static final String   UP_ARROW_CHARACTER               = "\u2197";
042  public static final String   DOWN_ARROW_CHARACTER             = "\u2199";
043  public static final String   BOTH_ARROW_CHARACTER             = "\u21c6";
044  public static final String   BOTH_ARROW_CHARACTER_ALTERNATIVE = "\u2194";
045  public static final String   DOUBLE_UP_ARROW_CHARACTER        = "\u21c9";
046  public static final String   DOUBLE_DOWN_ARROW_CHARACTER      = "\u21c7";
047  public static final String   DOUBLE_BOTH_ARROW_CHARACTER      = "\u21ba";
048  public static final int      GENERATIONS                      = 1;
049  public static final int      POPULATION                       = 64;
050}