Package org.mpi_sws.jmc.strategies

Class SchedulingStrategyConfiguration.Builder

java.lang.Object

org.mpi_sws.jmc.strategies.SchedulingStrategyConfiguration.Builder

Enclosing class:

SchedulingStrategyConfiguration

public static class SchedulingStrategyConfiguration.Builder
extends Object

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
SchedulingStrategyConfiguration	build()
SchedulingStrategyConfiguration.Builder	debug()
SchedulingStrategyConfiguration.Builder	reportPath(String reportPath)
SchedulingStrategyConfiguration.Builder	seed(Long seed)
SchedulingStrategyConfiguration.Builder	trustSchedulingPolicy(TrustStrategy.SchedulingPolicy trustSchedulingPolicy)

Methods inherited from class java.lang.Object

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

Constructor Details

Builder

public Builder()

Method Details

trustSchedulingPolicy

public SchedulingStrategyConfiguration.Builder trustSchedulingPolicy(TrustStrategy.SchedulingPolicy trustSchedulingPolicy)

reportPath

public SchedulingStrategyConfiguration.Builder reportPath(String reportPath)

debug

public SchedulingStrategyConfiguration.Builder debug()

seed

public SchedulingStrategyConfiguration.Builder seed(Long seed)

build

public SchedulingStrategyConfiguration build()