001package org.cpsolver.studentsct.heuristics; 002 003import org.cpsolver.ifs.assignment.Assignment; 004import org.cpsolver.ifs.model.Value; 005import org.cpsolver.ifs.model.Variable; 006 007/** 008 * Simple interface providing an assignment check for the {@link EnrollmentSelection}. 009 * 010 * @version StudentSct 1.3 (Student Sectioning)<br> 011 * Copyright (C) 2007 - 2014 Tomáš Müller<br> 012 * <a href="mailto:muller@unitime.org">muller@unitime.org</a><br> 013 * <a href="http://muller.unitime.org">http://muller.unitime.org</a><br> 014 * <br> 015 * This library is free software; you can redistribute it and/or modify 016 * it under the terms of the GNU Lesser General Public License as 017 * published by the Free Software Foundation; either version 3 of the 018 * License, or (at your option) any later version. <br> 019 * <br> 020 * This library is distributed in the hope that it will be useful, but 021 * WITHOUT ANY WARRANTY; without even the implied warranty of 022 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 023 * Lesser General Public License for more details. <br> 024 * <br> 025 * You should have received a copy of the GNU Lesser General Public 026 * License along with this library; if not see 027 * <a href='http://www.gnu.org/licenses/'>http://www.gnu.org/licenses/</a>. 028 */ 029public interface AssignmentCheck<V extends Variable<V, T>, T extends Value<V, T>> { 030 031 /** 032 * Check whether the given conflict can be unassigned 033 * @param value value to be assigned 034 * @param conflict conflicting value 035 * @param assignment current assignment 036 * @return true if the conflict can be unassigned due to the given value 037 */ 038 public boolean canUnassign(T value, T conflict, Assignment<V, T> assignment); 039 040}