Package org.mpi_sws.jmc.strategies

Class SchedulingStrategyConfiguration

java.lang.Object

org.mpi_sws.jmc.strategies.SchedulingStrategyConfiguration

public class SchedulingStrategyConfiguration
extends Object

Configuration class for scheduling strategies.

This class encapsulates the configuration parameters for scheduling strategies, including seed, trust scheduling policy, report path, and debug mode.

It provides a builder pattern for constructing instances of the configuration, allowing for flexible and readable configuration of scheduling strategies.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SchedulingStrategyConfiguration.Builder
static interface	SchedulingStrategyConfiguration.SchedulingStrategyConstructor

Method Summary

Modifier and Type	Method	Description
boolean	getDebug()
String	getReportPath()
Long	getSeed()
TrustStrategy.SchedulingPolicy	getTrustSchedulingPolicy()

Methods inherited from class java.lang.Object

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

Method Details

getSeed

public Long getSeed()

getReportPath

public String getReportPath()

getDebug

public boolean getDebug()

getTrustSchedulingPolicy

public TrustStrategy.SchedulingPolicy getTrustSchedulingPolicy()