001package conexp.fx.core.dl.deprecated;
002
003/*
004 * #%L
005 * Concept Explorer FX
006 * %%
007 * Copyright (C) 2010 - 2019 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
025@Deprecated
026public enum DescriptionLogic {
027  L0(Constructor.CONJUNCTION),
028  EL(Constructor.CONJUNCTION, Constructor.EXISTENTIAL_RESTRICTION),
029  FL0(Constructor.CONJUNCTION, Constructor.VALUE_RESTRICTION),
030  FLE(Constructor.CONJUNCTION, Constructor.EXISTENTIAL_RESTRICTION, Constructor.VALUE_RESTRICTION),
031  FLG(
032      Constructor.CONJUNCTION,
033      Constructor.EXISTENTIAL_RESTRICTION,
034      Constructor.VALUE_RESTRICTION,
035      Constructor.QUALIFIED_AT_LEAST_RESTRICTION),
036  FLQ(
037      Constructor.CONJUNCTION,
038      Constructor.EXISTENTIAL_RESTRICTION,
039      Constructor.VALUE_RESTRICTION,
040      Constructor.QUALIFIED_AT_LEAST_RESTRICTION,
041      Constructor.UNQUALIFIED_AT_MOST_RESTRICTION);
042
043  public final Constructor[] constructors;
044
045  DescriptionLogic(final Constructor... constructors) {
046    this.constructors = constructors;
047  }
048}