    001package net.sf.cpsolver.ifs.example.csp;
    002
    003import java.util.ArrayList;
    004import java.util.List;
    005import java.util.Random;
    006
    007import net.sf.cpsolver.ifs.model.Variable;
    008
    009/**
    010 * CSP variable. <br>
    011 * <br>
    012 * This class only implements generation of variable's values (domain)
    013 *
    014 * @version IFS 1.2 (Iterative Forward Search)<br>
    015 *          Copyright (C) 2006 - 2010 Tomáš Müller<br>
    016 *          <a href="mailto:muller@unitime.org">muller@unitime.org</a><br>
    017 *          <a href="http://muller.unitime.org">http://muller.unitime.org</a><br>
    018 * <br>
    019 *          This library is free software; you can redistribute it and/or modify
    020 *          it under the terms of the GNU Lesser General Public License as
    021 *          published by the Free Software Foundation; either version 3 of the
    022 *          License, or (at your option) any later version. <br>
    023 * <br>
    024 *          This library is distributed in the hope that it will be useful, but
    025 *          WITHOUT ANY WARRANTY; without even the implied warranty of
    026 *          MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
    027 *          Lesser General Public License for more details. <br>
    028 * <br>
    029 *          You should have received a copy of the GNU Lesser General Public
    030 *          License along with this library; if not see
    031 *          <a href='http://www.gnu.org/licenses/'>http://www.gnu.org/licenses/</a>.
    032 */
    033public class CSPVariable extends Variable<CSPVariable, CSPValue> {
    034    private int iKernelId = -1;
    035
    036    /**
    037     * Constructor
    038     *
    039     * @param domainSize
    040     *            number of values of the variable
    041     */
    042    public CSPVariable(int id, int domainSize) {
    043        this(id, domainSize, -1);
    044    }
    045
    046    /**
    047     * Constructor
    048     *
    049     * @param domainSize
    050     *            number of values of the variable
    051     * @param kernelId
    052     *            kernel id (for structured CSP)
    053     */
    054    public CSPVariable(int id, int domainSize, int kernelId) {
    055        super(null);
    056        iId = id;
    057        iKernelId = kernelId;
    058        setValues(computeValues(domainSize));
    059    }
    060
    061    /** Get kernel id */
    062    public int getKernelId() {
    063        return iKernelId;
    064    }
    065
    066    /**
    067     * Generate an intial value (for MPP and for forcing of existance of a
    068     * solution)
    069     */
    070    public void generateInitialValue(Random rnd) {
    071        CSPValue aValue = values().get((int) (rnd.nextFloat() * values().size()));
    072        setInitialAssignment(aValue);
    073    }
    074
    075    private List<CSPValue> computeValues(int domainSize) {
    076        List<CSPValue> values = new ArrayList<CSPValue>();
    077        for (int i = 0; i < domainSize; i++) {
    078            CSPValue value = new CSPValue(this, i);
    079            values.add(value);
    080        }
    081        return values;
    082    }
    083
    084    @Override
    085    public String getName() {
    086        return "V" + getId();
    087    }
    088}