A Sandcastle Documented Class Library

StateImpl Fields

The StateImpl type exposes the following members.

Fields

	Name	Description
	concrete
	CreateMachineCallback
	createMachineMap
	createSpecMap
	currentVisibleTrace
	DequeueCallback
	errorTrace
	FileDump
	interfaceMap
	invariant
	isSafeMap
	linkMap
	machineDefMap
	mode
	predHash
	specMachineMap
	StateTransitionCallback
	succHash
	symmetryReduction
	UserBooleanChoice
	visibleEvents
	visibleInterfaces

See Also

Reference

StateImpl Class

P.Runtime Namespace