A C D E F G H I L M N P Q R S T U V 

R

reset() - Method in class at.srfg.miner.clientlib.MultiProxyQuery
 
reset() - Method in interface at.srfg.miner.clientlib.Query
Resets the query such that the internal result pointer offset is set to 0.
reset() - Method in class at.srfg.miner.clientlib.SingleProxyQuery
 
resetQuery(ResultHandle) - Method in class at.srfg.miner.clientlib.Execution
Resets the query for handle such that the internal result-pointer offset is set to 0.
Result - Class in at.srfg.miner.clientlib
Result instances are produced by MINER Tools.
Result(long, String) - Constructor for class at.srfg.miner.clientlib.Result
Constructs a new Result from a timestamp and a value.
Result(long, String, Proxy) - Constructor for class at.srfg.miner.clientlib.Result
Constructs a new Result from a timestamp, a value and a proxy.
ResultFormatter - Interface in at.srfg.miner.clientlib.resultformat
The ResultFormatter interface defines a format method that transforms a Result instance to a String.
ResultFormatterDate - Class in at.srfg.miner.clientlib.resultformat
An implementation of ResultFormatter that formats the timestamp with a SimpleDateFormat pattern.
ResultFormatterDate() - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Default constructor.
ResultFormatterDate(String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.
ResultFormatterDate(String, Date) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.
ResultFormatterDate(String, long) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.
ResultFormatterDate(String, String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.
ResultFormatterDate(String, String, Date) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.
ResultFormatterDate(String, String, long) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate
Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.
ResultFormatterDeltaTime - Class in at.srfg.miner.clientlib.resultformat
A ResultFormatter implementation that doesn't display the timestamps as absolute values but instead displays the duration since the previous result in the first column.
ResultFormatterDeltaTime() - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime
Default constructor.
ResultFormatterDeltaTime(String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime
Constructs a new instance with the given separator.
ResultFormatterDeltaTime(ResultFormatterDeltaTime.Unit) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime
Constructs a new instance with the given time unit.
ResultFormatterDeltaTime(ResultFormatterDeltaTime.Unit, String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime
Constructs a new instance with the given time unit and separator
ResultFormatterDeltaTime.Unit - Enum in at.srfg.miner.clientlib.resultformat
Unit for deltaT, either SECOND or MILLISECOND.
ResultFormatterSimple - Class in at.srfg.miner.clientlib.resultformat
A simple ResultFormatter implementation.
ResultFormatterSimple() - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterSimple
Default contructor.
ResultFormatterSimple(String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterSimple
Constructs a new instance with the given separator.
ResultHandle - Class in at.srfg.miner.clientlib
A ResultHandle is created via Action.produce(java.lang.String) and is subsequently needed to retrieve results produced by a tool.
Results - Class in at.srfg.miner.clientlib
This class provides static utility methods for printing and saving results.
reuseAsNew() - Method in class at.srfg.miner.clientlib.Scenario
Enables the reuse of the scenario object for the specification of another scenario.
A C D E F G H I L M N P Q R S T U V 

Copyright (c) Salzburg Research Forschungsgesellschaft mbH. All rights reserved.