C# Class GUIUtils.LongOperations.CheckModelOperation

Inheritance: BaseLongOperation
Exibir arquivo Open project: ERTMSSolutions/ERTMSFormalSpecs

Public Methods

Method Description
ExecuteWork ( ) : void

Checks the model

Method Details

ExecuteWork() public method

Checks the model
public ExecuteWork ( ) : void
return void