StateImplCollectAbstractSuccessors Method

[Missing <summary> documentation for "M:P.Runtime.StateImpl.CollectAbstractSuccessors(System.Collections.Generic.HashSet{System.Int32},System.IO.StreamWriter)"]

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

C++

Copy

public void CollectAbstractSuccessors(
	HashSet<int> abstract_succs,
	StreamWriter abstract_succs_SW
)

Public Sub CollectAbstractSuccessors ( 
	abstract_succs As HashSet(Of Integer),
	abstract_succs_SW As StreamWriter
)

public:
void CollectAbstractSuccessors(
	HashSet<int>^ abstract_succs, 
	StreamWriter^ abstract_succs_SW
)

member CollectAbstractSuccessors : 
        abstract_succs : HashSet<int> * 
        abstract_succs_SW : StreamWriter -> unit

Parameters

abstract_succs: Type: System.Collections.GenericHashSetInt32
[Missing <param name="abstract_succs"/> documentation for "M:P.Runtime.StateImpl.CollectAbstractSuccessors(System.Collections.Generic.HashSet{System.Int32},System.IO.StreamWriter)"]
abstract_succs_SW: Type: System.IOStreamWriter
[Missing <param name="abstract_succs_SW"/> documentation for "M:P.Runtime.StateImpl.CollectAbstractSuccessors(System.Collections.Generic.HashSet{System.Int32},System.IO.StreamWriter)"]

Reference

StateImpl Class

P.Runtime Namespace

StateImplAddLanguageSpecificTextSet("LSTDEF976C4_0?cpp=::|nu=.");CollectAbstractSuccessors Method

Parameters

Reference

StateImplCollectAbstractSuccessors Method