org.eclipse.viatra.dse.solutionstore

Class SolutionStore.BestSolutionSaver

java.lang.Object

org.eclipse.viatra.dse.solutionstore.SolutionStore.BestSolutionSaver

All Implemented Interfaces:

SolutionStore.ISolutionSaver

Enclosing class:

SolutionStore

public static class SolutionStore.BestSolutionSaver
extends java.lang.Object
implements SolutionStore.ISolutionSaver

Constructor Summary

Constructors

Constructor and Description
BestSolutionSaver()

Method Summary

Modifier and Type	Method and Description
boolean	saveSolution(ThreadContext context, java.lang.Object id, SolutionTrajectory solutionTrajectory)
void	setSolutionsCollection(java.util.Map<java.lang.Object,Solution> solutions)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BestSolutionSaver

public BestSolutionSaver()

Method Detail

setSolutionsCollection

public void setSolutionsCollection(java.util.Map<java.lang.Object,Solution> solutions)

Specified by:

setSolutionsCollection in interface SolutionStore.ISolutionSaver

saveSolution

public boolean saveSolution(ThreadContext context,
                            java.lang.Object id,
                            SolutionTrajectory solutionTrajectory)

Specified by:

saveSolution in interface SolutionStore.ISolutionSaver