Table of Contents

Class NextStates

Namespace
Microsoft.Accordant
Assembly
Accordant.dll

This class represents the next set of states a given state can transition to as well as the set of new step functions that become available for application in each of those states.

[Obsolete("This class is now obsolete. Please use the StateProfile class instead.", true)]
public class NextStates
Inheritance
NextStates
Inherited Members

Constructors

NextStates()

public NextStates()

NextStates(IList<IState>)

public NextStates(IList<IState> states)

Parameters

states IList<IState>

Properties

States

The set of next states. The list has at least one element and can have more than one.

public IEnumerable<IState> States { get; }

Property Value

IEnumerable<IState>

StatesAndStepFunctions

The set of next states, and step functions that become available in each of those states. The list has at least one element and can have more than one. Each element (which corresponds to a possible next step) can have zero or more step functions that become available in that state.

public IList<(IState State, IList<IStepFunction> StepFunctions)> StatesAndStepFunctions { get; set; }

Property Value

IList<(IState State, IList<IStepFunction> StepFunctions)>

Methods

SingleState()

This method returns the single next state but only if the set of next states contains a single state. It throws the MultipleStateException exception otherwise.

public IState SingleState()

Returns

IState