org.eclipse.viatra.dse.solutionstore.DummySolutionStore
This solution store is only used by the strategies implementing the deprecated
LocalSearchStrategyBase abstract class.
|
org.eclipse.viatra.dse.api.strategy.interfaces.LocalSearchStrategyBase
|
org.eclipse.viatra.dse.objectives.impl.ModelQueriesHardObjective
|
org.eclipse.viatra.dse.api.strategy.impl.PetriGuidedStrategy |
org.eclipse.viatra.dse.solutionstore.SimpleSolutionStore
This solution store is only used by the strategies implementing the deprecated
LocalSearchStrategyBase abstract class.
|
org.eclipse.viatra.dse.solutionstore.SingleObjectiveSolutionStore
This solution store is only used by the strategies implementing the deprecated
LocalSearchStrategyBase abstract class.
|
org.eclipse.viatra.dse.solutionstore.StrategyDependentSolutionStore
This solution store is only used by the strategies implementing the deprecated
LocalSearchStrategyBase abstract class.
|
org.eclipse.viatra.dse.objectives.impl.WeightedQueriesSoftObjective
|