Package org.mpi_sws.jmc.strategies.trust

Class MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder

java.lang.Object

org.mpi_sws.jmc.strategies.trust.MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder

Enclosing class:

MeasureGraphCoverageStrategyConfig

public static class MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
MeasureGraphCoverageStrategyConfigBuilder()

Method Summary

Modifier and Type	Method	Description
MeasureGraphCoverageStrategyConfig	build()
MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder	debug(boolean debug)
MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder	recordGraphs(boolean recordGraphs)
MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder	recordPath(String recordPath)
MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder	recordPerIteration()
MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder	withFrequency(Duration measuringFrequency)

Methods inherited from class java.lang.Object

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

Constructor Details

MeasureGraphCoverageStrategyConfigBuilder

public MeasureGraphCoverageStrategyConfigBuilder()

Method Details

debug

public MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder debug(boolean debug)

recordGraphs

public MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder recordGraphs(boolean recordGraphs)

recordPath

public MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder recordPath(String recordPath)

withFrequency

public MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder withFrequency(Duration measuringFrequency)

recordPerIteration

public MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder recordPerIteration()

build

public MeasureGraphCoverageStrategyConfig build()