org.chocosolver.memory.trailing.trail.IOperationTrail Maven / Gradle / Ivy
/*
* This file is part of choco-solver, http://choco-solver.org/
*
* Copyright (c) 2022, IMT Atlantique. All rights reserved.
*
* Licensed under the BSD 4-clause license.
*
* See LICENSE file in the project root for full license information.
*/
package org.chocosolver.memory.trailing.trail;
import org.chocosolver.memory.IStorage;
import org.chocosolver.memory.structure.IOperation;
/**
*
*
* @author Charles Prud'homme
* @since 29/04/13
*/
public interface IOperationTrail extends IStorage {
void savePreviousState(IOperation operation);
void savePreviousStateAt(IOperation operation, int at, int currentWorldIndex);
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy