C# Class tcas.Program

Datei anzeigen Open project: lukesandberg/PexFaultLocalization

Public Methods

Method Description
ALIM ( ) : int
Inhibit_Biased_Climb ( ) : int
Non_Crossing_Biased_Climb ( ) : bool
Non_Crossing_Biased_Descend ( ) : bool
Own_Above_Threat ( ) : bool
Own_Below_Threat ( ) : bool
alt_sep_test ( ) : int
initialize ( ) : void

Private Methods

Method Description
Main ( string args ) : void

Method Details

ALIM() public static method

public static ALIM ( ) : int
return int

Inhibit_Biased_Climb() public static method

public static Inhibit_Biased_Climb ( ) : int
return int

Non_Crossing_Biased_Climb() public static method

public static Non_Crossing_Biased_Climb ( ) : bool
return bool

Non_Crossing_Biased_Descend() public static method

public static Non_Crossing_Biased_Descend ( ) : bool
return bool

Own_Above_Threat() public static method

public static Own_Above_Threat ( ) : bool
return bool

Own_Below_Threat() public static method

public static Own_Below_Threat ( ) : bool
return bool

alt_sep_test() public static method

public static alt_sep_test ( ) : int
return int

initialize() public static method

public static initialize ( ) : void
return void