C# Class Microsoft.Zing.ProgramCounterTuple

Inheritance: IComparable

Mostrar archivo Open project: ZingModelChecker/Zing

Public Methods

Method	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 method

public CompareTo ( object obj ) : int
obj	object
return	int

Equals() public method

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

GetHashCode() public method

public GetHashCode ( ) : int
return	int

ProgramCounterTuple() public method

public ProgramCounterTuple ( ProgramCounter counters ) : System
counters	ProgramCounter
return	System

ProgramCounters() public method

public ProgramCounters ( ) : Microsoft.Zing.ProgramCounter[]
return	Microsoft.Zing.ProgramCounter[]

operator() public static method

public static operator ( ) : bool
return	bool

operator() public static method

public static operator ( ) : int
return	int

this() public method

public this ( int processNumber ) : ProgramCounter
processNumber	int
return	ProgramCounter