SetFalseOperation.java

/*
 * Copyright © 2010 by Ondrej Skalicka. All Rights Reserved
 */

package cz.cvut.felk.cig.jcop.problem.sat;

import cz.cvut.felk.cig.jcop.problem.BaseReversibleOperation;
import cz.cvut.felk.cig.jcop.problem.Configuration;
import cz.cvut.felk.cig.jcop.problem.OperationHistory;

import java.util.List;

/**
 * Sets variable in configuration to 0.
 *
 * @author Ondrej Skalicka
 */
public class SetFalseOperation extends BaseReversibleOperation {
    /**
     * Variable to have operation applied on.
     */
    protected Variable variable;

    /**
     * Creates new operation with variable to have the operation applied on.
     *
     * @param variable variable to have operation applied on
     */
    public SetFalseOperation(Variable variable) {
        this.variable = variable;
    }

    public Configuration execute(Configuration configuration) {
        List<Integer> newConfiguration = configuration.asList();

        newConfiguration.set(this.variable.getIndex(), 0);

        return new Configuration(newConfiguration, new OperationHistory(this, configuration.getOperationHistory()));
    }

    @Override
    public String toString() {
        return "SetFalseOperation{" +
                "index=" + variable.getIndex() +
                '}';
    }
}