C# Class Microsoft.Zing.Application.ClassMethod.OthersULE

Show file Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
handlerBlockChanged	bool
nextBlockChanged	bool
savedHandlerBlock	Blocks
savedNextBlock	Blocks

Public Methods

Method	Description
OthersULE ( ) : System

Method Details

OthersULE() public method

public OthersULE ( ) : System
return	System

Property Details

handlerBlockChanged public property

public bool handlerBlockChanged
return	bool

nextBlockChanged public property

public bool nextBlockChanged
return	bool

savedHandlerBlock public property

public Blocks savedHandlerBlock
return	Blocks

savedNextBlock public property

public Blocks savedNextBlock
return	Blocks