C# Class Microsoft.Zing.Select

Inheritance: System.Compiler.Statement

Mostra file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
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

Method Details

Select() public method

public Select ( ) : System.Collections.Generic
return	System.Collections.Generic

Select() public method

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

Select() public method

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
return	System.Collections.Generic

Select() public method

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

Select() public method

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
return	System.Collections.Generic