Class VisualizationOptions

Namespace

Microsoft.Accordant

Assembly

Accordant.Operations.dll

This class contains options and configurations that control the state space visualization.

public class VisualizationOptions

Inheritance

object

VisualizationOptions

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Properties

NodeLabelLambda

This lambda creates a label for a given state graph node. It is called exactly once for a given state graph node. It is helpful to be reminded that a state graph node consists of a state and a set of step of functions. It is thus possible that multiple state graph nodes may contain the same state (but differ in their set of step functions). In that case, the lambda will be called multiple times with the same state, but only once for each state graph node.

public Func<StateGraphNode, string> NodeLabelLambda { get; set; }

Property Value

Func<StateGraphNode, string>

UseCountBasedNodeLabels

Setting this property to true create a count-based state serializer. Count-based state serializer is preferable in situations where the state string representation is too large and we want a more compact representation instead.

public bool UseCountBasedNodeLabels { set; }

Property Value

bool