Package net.sf.opendse.realtime.et.graph

Class TimingGraphBuilder

java.lang.Object

net.sf.opendse.realtime.et.graph.TimingGraphBuilder

public class TimingGraphBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
TimingGraphBuilder(TimingGraphModifier... modifiers)

Method Summary

Modifier and Type	Method	Description
void	addModifiers(TimingGraphModifier... modifiers)
static double	adjust(double value)
static void	annotateBackwardsDeadlines(TimingGraph timingGraph)
TimingGraph	build(Specification implementation)
TimingGraph	getTimingGraph()

Methods inherited from class java.lang.Object

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

Constructor Details

TimingGraphBuilder

public TimingGraphBuilder(TimingGraphModifier... modifiers)

Method Details

addModifiers

public void addModifiers(TimingGraphModifier... modifiers)

getTimingGraph

public TimingGraph getTimingGraph()

build

public TimingGraph build(Specification implementation)

annotateBackwardsDeadlines

public static void annotateBackwardsDeadlines(TimingGraph timingGraph)

adjust

public static double adjust(double value)