C# Class Microsoft.Zing.ProgramCounterTuple

Inheritance: IComparable
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
CompareTo ( object obj ) : int
Equals ( object obj ) : bool
GetHashCode ( ) : int
ProgramCounterTuple ( ProgramCounter counters ) : System
ProgramCounters ( ) : Microsoft.Zing.ProgramCounter[]
operator ( ) : bool
operator ( ) : int
this ( int processNumber ) : ProgramCounter

Method Details

CompareTo() public méthode

public CompareTo ( object obj ) : int
obj object
Résultat int

Equals() public méthode

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

GetHashCode() public méthode

public GetHashCode ( ) : int
Résultat int

ProgramCounterTuple() public méthode

public ProgramCounterTuple ( ProgramCounter counters ) : System
counters ProgramCounter
Résultat System

ProgramCounters() public méthode

public ProgramCounters ( ) : Microsoft.Zing.ProgramCounter[]
Résultat Microsoft.Zing.ProgramCounter[]

operator() public static méthode

public static operator ( ) : bool
Résultat bool

operator() public static méthode

public static operator ( ) : int
Résultat int

this() public méthode

public this ( int processNumber ) : ProgramCounter
processNumber int
Résultat ProgramCounter