StateImplCheckTransInvariant Method

public bool CheckTransInvariant(
	int currIndex,
	StateImpl pred
)

Public Function CheckTransInvariant ( 
	currIndex As Integer,
	pred As StateImpl
) As Boolean

public:
bool CheckTransInvariant(
	int currIndex, 
	StateImpl^ pred
)

member CheckTransInvariant : 
        currIndex : int * 
        pred : StateImpl -> bool 

Parameters

currIndex

Type: SystemInt32

[Missing <param name="currIndex"/> documentation for "M:P.Runtime.StateImpl.CheckTransInvariant(System.Int32,P.Runtime.StateImpl)"]

pred

Type: P.RuntimeStateImpl

[Missing <param name="pred"/> documentation for "M:P.Runtime.StateImpl.CheckTransInvariant(System.Int32,P.Runtime.StateImpl)"]

Return Value

[Missing <returns> documentation for "M:P.Runtime.StateImpl.CheckTransInvariant(System.Int32,P.Runtime.StateImpl)"]

Reference