C# Class Microsoft.Zing.StateData

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Méthode	Description
Equals ( StateData st ) : bool
Equals ( object obj ) : bool
GetHashCode ( ) : int
StateData ( ) : System
StateData ( bool magic ) : System

Method Details

Equals() public méthode

public Equals ( StateData st ) : bool
st	StateData
Résultat	bool

Equals() public méthode

public Equals ( object obj ) : bool
obj	object
Résultat	bool

GetHashCode() public méthode

public GetHashCode ( ) : int
Résultat	int

StateData() public méthode

public StateData ( ) : System
Résultat	System

StateData() public méthode

public StateData ( bool magic ) : System
magic	bool
Résultat	System