001package conexp.fx.core.algorithm.nextclosures.mn;
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
025import java.util.HashMap;
026import java.util.HashSet;
027import java.util.Map;
028import java.util.Map.Entry;
029import java.util.Set;
030
031public final class ResultMN<G, M> {
032
033  final Map<Set<M>, Set<M>> implications;
034
035  public ResultMN() {
036    this.implications = new HashMap<Set<M>, Set<M>>();
037  }
038
039  public final Set<M> closure(final Set<M> set) {
040    final Set<M> cl = new HashSet<M>();
041    for (Entry<Set<M>, Set<M>> e : implications.entrySet())
042      if (set.containsAll(e.getKey()))
043        cl.addAll(e.getValue());
044    return cl;
045  }
046
047  public final Map<Set<M>, Set<M>> getImplications() {
048    return implications;
049  }
050
051}