Commit 32f7554e authored by Michaela Klauck's avatar Michaela Klauck

current version of modes and mcsta

parent 12061a1b
{
"components": [
"Modest.Language.dll",
"Modest.Automaton.dll",
"Modest.Xsadf.dll"
]
}
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.CommandLine</name>
</assembly>
<members>
<member name="M:Modest.CommandLine.CommandLineParser.#ctor(System.Type[])">
<summary>
Initializes a new instance of the <see cref="T:Modest.CommandLine.CommandLineParser"/> class.
</summary>
<param name="parameterObjectTypes">The types of parameter objects this parser is bound to.</param>
<exception cref="T:System.ArgumentNullException"><paramref name="parameterObjectTypes"/> is <c>null</c>.</exception>
<exception cref="T:System.ArgumentException">The <see cref="T:Modest.CommandLine.ParameterAttribute"/> annotation of
<paramref name="parameterObjectTypes"/> is inconsistent or there is more than one default property.</exception>
</member>
<member name="M:Modest.CommandLine.CommandLineParser.Parse(Modest.Modularity.IParameterObject,System.String[])">
<summary>
Parses command-line arguments.
</summary>
<param name="obj">The parameter object to modify.</param>
<param name="args">The command-line arguments.</param>
<exception cref="T:System.ArgumentNullException"><paramref name="obj"/> is <c>null</c>.</exception>
<exception cref="T:System.ArgumentException"><paramref name="obj"/> is not of the type that was supplied to this instance's constructor.</exception>
<exception cref="T:Modest.CommandLine.CommandLineParser.ParsingException">There was an error parsing the command-line arguments.</exception>
</member>
<member name="M:Modest.CommandLine.CommandLineParser.Parse(System.String[],Modest.Modularity.IParameterObject[])">
<summary>
Parses command-line arguments.
</summary>
<param name="args">The command-line arguments.</param>
<param name="objs">The parameter objects to modify.</param>
<exception cref="T:System.ArgumentNullException"><paramref name="objs"/> is <c>null</c>.</exception>
<exception cref="T:System.ArgumentException">One of the elements of <paramref name="objs"/> are not of the types that were supplied to this instance's constructor.</exception>
<exception cref="T:Modest.CommandLine.CommandLineParser.ParsingException">There was an error parsing the command-line arguments.</exception>
</member>
<member name="M:Modest.CommandLine.CommandLineParser.HasDocs(Modest.CommandLine.CommandLineParser.SubParameter)">
<summary>
Return true if this subparameter has documentation to be shown.
</summary>
</member>
<member name="T:Modest.CommandLine.ConsoleOutputHandler">
<summary>
This class negotiates the output of both status updates provided by an <see cref="T:Modest.Modularity.OperationState"/>
as well as errors and messages reported through the <see cref="T:Modest.Modularity.IErrorHandler"/> interface.
</summary>
</member>
<member name="F:Modest.CommandLine.ConsoleOutputHandler.OutputType.Message">
<summary>
Last item written to the console was a message reported through the <see cref="T:Modest.Modularity.IErrorHandler"/> interface.
</summary>
</member>
<member name="F:Modest.CommandLine.ConsoleOutputHandler.OutputType.StatusOrProgress">
<summary>
Last item written to the console was a progress or status update reported by an <see cref="T:Modest.Modularity.OperationState"/>.
</summary>
</member>
<member name="P:Modest.CommandLine.ConsoleOutputHandler.AllowColorizedOutput">
<summary>
Gets or sets a value indicating whether console output should be decorated using console colors.
</summary>
</member>
</members>
</doc>
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.Configuration</name>
</assembly>
<members>
</members>
</doc>
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.Graphs</name>
</assembly>
<members>
<member name="T:Modest.Graphs.IGraph`3">
<summary>
Represents a graph in which every node is reachable from an initial node.
</summary>
<typeparam name="NT">The type of the nodes.</typeparam>
<typeparam name="ET">The type of the edges.</typeparam>
<typeparam name="TT">The type of the edge targets.</typeparam>
</member>
<member name="T:Modest.Graphs.IDisconnectedGraph`3">
<summary>
Represents a possibly disconnected graph.
</summary>
<typeparam name="NT">The type of the nodes.</typeparam>
<typeparam name="ET">The type of the edges.</typeparam>
<typeparam name="TT">The type of the edge targets.</typeparam>
</member>
</members>
</doc>
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.Hybrid</name>
</assembly>
<members>
</members>
</doc>
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.Serialization</name>
</assembly>
<members>
<member name="T:Modest.Serialization.SerializationException">
<summary>
The exception thrown when an error occurs during serialization or deserialization.
</summary>
</member>
<member name="M:Modest.Serialization.SerializationException.#ctor">
<summary>
Initializes a new instance of the <see cref="T:Modest.Serialization.SerializationException"/> class with default properties.
</summary>
</member>
<member name="M:Modest.Serialization.SerializationException.#ctor(System.String)">
<summary>
Initializes a new instance of the <see cref="T:Modest.Serialization.SerializationException"/> class with a specified message.
</summary>
<param name="message">The error message that explains the reason for the exception.</param>
</member>
<member name="M:Modest.Serialization.SerializationException.#ctor(System.String,System.Exception)">
<summary>
Initializes a new instance of the <see cref="T:Modest.Serialization.SerializationException"/> class with a specified error message and a reference to the inner exception that is the cause of this exception.
</summary>
<param name="message">The error message that explains the reason for the exception.</param>
<param name="innerException">The exception that is the cause of the current exception. If the <paramref name="innerException"/> parameter is not <c>null</c>, the current exception is raised in a <c>catch</c> block that handles the inner exception. </param>
</member>
<member name="T:Modest.NonClosingStream">
<summary>
Wraps a stream for all operations except Close and Dispose, which
merely flush the stream and prevent further operations from being
carried out using this wrapper.
</summary>
</member>
<member name="M:Modest.NonClosingStream.#ctor(System.IO.Stream)">
<summary>
Creates a new instance of the class, wrapping the specified stream.
</summary>
<param name="stream">The stream to wrap.</param>
<exception cref="T:System.ArgumentNullException"><paramref name="stream"/> is null</exception>
</member>
<member name="M:Modest.NonClosingStream.CheckClosed">
<summary>
Checks if the underlying stream has been closed or disposed.
</summary>
<exception cref="T:System.InvalidOperationException">The undelying stream has been closed or disposed.</exception>
</member>
</members>
</doc>
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.Simulation</name>
</assembly>
<members>
<member name="M:Modest.Simulation.Layer.#ctor(System.Int32,System.Int32,System.Single[]@,System.Single[]@)">
<summary>
Initializes a layer of an NN.
</summary>
<param name="neuron_number">Number of neurons in the layer</param>
<param name="neuron_size"></param>
<param name="weights">Weights affecting this layer</param>
<param name="bias">Biases affecting this layer</param>
</member>
<member name="M:Modest.Simulation.Layer.Forward(System.Single[])">
<summary>
Forwards the input through one layer, i.e. through the neurons in the layer.
</summary>
<param name="x">Input of the layer</param>
<returns></returns>
</member>
<member name="M:Modest.Simulation.NeuralNetwork.#ctor(System.Int32,System.Int32[],System.Single[]@,System.Single[]@)">
<summary>
Initializes a neural network with several layers, weights and biases.
</summary>
<param name="layer_number">Number of layers in the network</param>
<param name="layer_sizes">Number of neurons in each layer</param>
<param name="weights">Weights of the neural network</param>
<param name="bias">Biases of the neural network</param>
</member>
<member name="M:Modest.Simulation.NeuralNetwork.Forward(System.Single[])">
<summary>
Forwards an input through the layers of the network and returns ReLu.
</summary>
<param name="x">Input of the NN</param>
<returns></returns>
</member>
<member name="M:Modest.Simulation.Neuron.#ctor(System.Int32,System.Single[]@,System.Single)">
<summary>
Initializes a Neron of an NN.
</summary>
<param name="inputsize">How many inputs does the neuron get?</param>
<param name="weights">Weights affecting this neuron</param>
<param name="bias">Bias affecting this neron</param>
</member>
<member name="M:Modest.Simulation.Neuron.Forward(System.Single[])">
<summary>
Forwards an input thorough the neuron.
</summary>
<param name="x">Input of the neuron</param>
<returns></returns>
</member>
<member name="T:Modest.Simulation.Oracle">
<summary>
The interface to the external oracle (e.g. a neural network) to resolve nondeterminism in simulation
</summary>
</member>
<member name="M:Modest.Simulation.Oracle.MapInit(System.String)">
<summary>
Initializes the racetrack map given in ASCII format and pre-calculates the goal distances and wall distances for each position.
</summary>
</member>
<member name="M:Modest.Simulation.Oracle.OracleInit(System.String)">
<summary>
Initializes the neural network for race track with 3 layers. Reads the weights and bias for the network.
</summary>
</member>
<member name="M:Modest.Simulation.Oracle.OracleTransition(System.Object[])">
<summary>
Implements the call to the external oracle to resolve nondeterminism in simulation.
</summary>
<param name="vars">Current variable values in the state for which the nondeterminism should be resolved</param>
<returns>The index of the synchronisation which should be taken to resolve the nondeterminism</returns>
</member>
<member name="M:Modest.Simulation.Oracle.OracleDelay(System.Collections.Generic.Dictionary{System.String,System.Object},System.String[],System.Int32)">
<summary>
Implements the call to the external oracle to resolve temporal nondeterminism for delays in simulation.
</summary>
<param name="vars">Variable names and their current value in the state for which the nondeterminism should be resolved</param>
<param name="acts">The enabled synchronisations in the current state for which the nondeterminism should be resolved</param>
<param name="delayCount">The delay interval width called delayCount in the Modest code</param>
<returns>The delay to resolve the temporal nondeterminism</returns>
</member>
<member name="M:Modest.Simulation.Oracle.OracleRegion(System.Collections.Generic.Dictionary{System.String,System.Object},System.String[],Modest.Exploration.DifferenceBoundMatrix@,System.Int32[])">
<summary>
Implements the call to the external oracle to resolve nondeterminism over regions in ZonePTAs in simulation.
</summary>
<param name="vars">Variable names and their current value in the state for which the nondeterminism should be resolved</param>
<param name="acts">The enabled synchronisations in the current state for which the nondeterminism should be resolved</param>
<param name="selectedGuard">As in ZonePTASimulationRun</param>
<param name="clockOrder">As in ZonePTASimulationRun</param>
</member>
<member name="T:Modest.Simulation.TraceCsvObserver">
<summary>
Writes a trace to a stream in CSV format as described in RFC 4180.
</summary>
</member>
</members>
</doc>
<?xml version="1.0"?>
<doc>
<assembly>
<name>Modest.StateSpace</name>
</assembly>
<members>
<member name="M:Modest.StateSpace.StateProjections.Create(Modest.Automaton.AutomataNetwork)">
<summary>
Creates one projection for the truly global variables (i.e. the ones accessed by more than one automaton),
plus one projection for each automaton to the local variables of that automaton and the global variables accessed by that automaton.
</summary>
<param name="model">The automata network.</param>
<returns>
A <see cref="T:Modest.StateSpace.StateProjections"/> instance where the projection at index <c>0</c> is for the truly global variables
and the remaining projections are for the individual automata in the same order as they are referenced in the automata network.
</returns>
<exception cref="T:System.ArgumentNullException"><paramref name="model"/> is <c>null</c>.</exception>
</member>
<member name="P:Modest.StateSpace.Partition.SuccessorIndices">
<summary>
Gets the indices of the successor partitions. Elements must not be changed.
</summary>
</member>
<member name="M:Modest.StateSpace.StateSet`1.ReserveNext">
<summary>
Reserves storage for the next state and returns a reference to it.
</summary>
<returns>A reference to storage allocated for the next state.</returns>
</member>
<member name="M:Modest.StateSpace.StateSet`1.AddNext(System.Int32@)">
<summary>
Adds the next state that is currently stored at the location obtained via <see cref="M:Modest.StateSpace.StateSet`1.ReserveNext"/>.
</summary>
<param name="index">When the method returns, contains the index at which the state is stored.</param>
<returns><c>true</c> if the state is newly added to this instance; <c>false</c> if the state is already present.</returns>
</member>
<member name="M:Modest.StateSpace.StateSet`1.Lookup(`0@)">
<summary>
Gets the index of the given state if it is stored in this instance, and <c>-1</c> otherwise.
</summary>
<param name="state">The state.</param>
<returns>The index of the given state if it is stored in this instance, and <c>-1</c> otherwise.</returns>
</member>
<member name="P:Modest.StateSpace.StateSet`1.Item(System.Int32)">
<summary>
Gets a reference to the state at the given index.
</summary>
<param name="index">The index.</param>
<returns>A reference to the state at the given index.</returns>
</member>
<member name="P:Modest.StateSpace.StateSet`1.Count">
<summary>
Gets the number of states stored in this instance.
</summary>
</member>
<member name="M:Modest.StateSpace.StateSet`1.LoadIntoMemory">
<summary>
Loads the data associated with instance into memory.
</summary>
<returns>
A <see cref="T:Modest.Disposer"/> that enables the data associated with this instance to be unloaded from memory by calling its <see cref="M:Modest.Disposer.Dispose"/> method.
</returns>
</member>
<member name="M:Modest.StateSpace.StateSet`1.Dispose">
<summary>
Releases all resources held by this instance.
After a call to this method, no other methods may be called on this instance.
</summary>
</member>
<member name="M:Modest.StateSpace.SmallStateSpace.Finalise(System.Int32)">
<summary>
Finalises this instance.
</summary>
<param name="stateCount">The number of states in the state space.</param>
<exception cref="T:System.InvalidOperationException">This instance has already been finalised.</exception>
</member>
<member name="P:Modest.StateSpace.SmallStateSpace.States">
<summary>
Gets the states. Elements must not be changed.
</summary>
<exception cref="T:System.InvalidOperationException">This instance has not been finalised.</exception>
</member>
<member name="P:Modest.StateSpace.SmallStateSpace.Transitions">
<summary>
Gets the transitions, sorted by source state index. Elements must not be changed.
</summary>
<exception cref="T:System.InvalidOperationException">This instance has not been finalised.</exception>
</member>
<member name="P:Modest.StateSpace.SmallStateSpace.Branches">
<summary>
Gets the branches. Elements must not be changed.
</summary>
<exception cref="T:System.InvalidOperationException">This instance has not been finalised.</exception>
</member>
</members>
</doc>
This diff is collapsed.
<?xml version="1.0"?>
<configuration>
<startup>
<supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.7.2"/>
</startup>
<runtime>
<loadFromRemoteSources enabled="true"/>
<gcAllowVeryLargeObjects enabled="true"/>
</runtime>
</configuration>
<?xml version="1.0" encoding="utf-8"?>
<configuration>
<runtime>
<loadFromRemoteSources enabled="true"/>
<gcAllowVeryLargeObjects enabled="true"/>
</runtime>
<startup>
<supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.7.2"/>
</startup>
</configuration>
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment