C# 클래스 Microsoft.Zing.Select

상속: System.Compiler.Statement

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드	설명
Select ( ) : System.Collections.Generic
Select ( bool endState, bool deterministic, JoinStatementList joinStatementList ) : System.Collections.Generic
Select ( bool endState, bool deterministic, JoinStatementList joinStatementList, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
Select ( bool endState, bool deterministic, bool visible, JoinStatementList joinStatementList ) : System.Collections.Generic
Select ( bool endState, bool deterministic, bool visible, JoinStatementList joinStatementList, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

메소드 상세

Select() 공개 메소드

public Select ( ) : System.Collections.Generic
리턴	System.Collections.Generic

Select() 공개 메소드

public Select ( bool endState, bool deterministic, JoinStatementList joinStatementList ) : System.Collections.Generic
endState	bool
deterministic	bool
joinStatementList	JoinStatementList
리턴	System.Collections.Generic

Select() 공개 메소드

public Select ( bool endState, bool deterministic, JoinStatementList joinStatementList, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
endState	bool
deterministic	bool
joinStatementList	JoinStatementList
sourceContext	System.Compiler.SourceContext
리턴	System.Collections.Generic

Select() 공개 메소드

public Select ( bool endState, bool deterministic, bool visible, JoinStatementList joinStatementList ) : System.Collections.Generic
endState	bool
deterministic	bool
visible	bool
joinStatementList	JoinStatementList
리턴	System.Collections.Generic

Select() 공개 메소드

public Select ( bool endState, bool deterministic, bool visible, JoinStatementList joinStatementList, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
endState	bool
deterministic	bool
visible	bool
joinStatementList	JoinStatementList
sourceContext	System.Compiler.SourceContext
리턴	System.Collections.Generic