Struct StateTransition<TInstruction>

Represents an object that encodes the transition from one program state to another after an instruction was executed.

public readonly struct StateTransition<TInstruction> where TInstruction : notnull

Inherited Members: ValueType.Equals(object)

ValueType.GetHashCode()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Constructors

Creates a new program state transition.

public StateTransition(SymbolicProgramState<TInstruction> nextState, ControlFlowEdgeType edgeType)

Gets the type of edge that was taken by the instruction.

public ControlFlowEdgeType EdgeType { get; }

Gets whether the edge is a real edge (not None).

public bool IsRealEdge { get; }

Gets the new program state after the instruction was executed.

public SymbolicProgramState<TInstruction> NextState { get; }

public override string ToString()