C# Class Microsoft.Zing.StateData

Mostrar archivo Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
Equals ( StateData st ) : bool
Equals ( object obj ) : bool
GetHashCode ( ) : int
StateData ( ) : System
StateData ( bool magic ) : System

Method Details

Equals() public method

public Equals ( StateData st ) : bool
st	StateData
return	bool

Equals() public method

public Equals ( object obj ) : bool
obj	object
return	bool

GetHashCode() public method

public GetHashCode ( ) : int
return	int

StateData() public method

public StateData ( ) : System
return	System

StateData() public method

public StateData ( bool magic ) : System
magic	bool
return	System