io.gitlab.chaver.mining.patterns.constraints.CoverClosure Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of data-mining Show documentation

Data mining with Choco solver

There is a newer version: 1.0.1

/*
 * This file is part of io.gitlab.chaver:data-mining (https://gitlab.com/chaver/data-mining)
 *
 * Copyright (c) 2022, IMT Atlantique
 *
 * Licensed under the MIT license.
 *
 * See LICENSE file in the project root for full license information.
 */
package io.gitlab.chaver.mining.patterns.constraints;

import io.gitlab.chaver.mining.patterns.io.Database;
import org.chocosolver.solver.variables.BoolVar;

import java.util.Arrays;

import static io.gitlab.chaver.mining.patterns.measure.MeasureFactory.freq;


/**
 * Given a set of boolean variables x, ensures that x is a closed pattern w.r.t. {freq}
 * Fore more information, see Schaus et al. - CoverSize : A global constraint for frequency-based itemset mining
 */
public class CoverClosure extends AdequateClosureWC {

    public CoverClosure(Database database, BoolVar[] items) {
        super(database, Arrays.asList(freq()), items);
    }
}