halt

Contents

halt.c 

This file contains all the checks for dynamical states that result in the termination of the program.

Author: Rory Barnes (RoryBarnes)
Date: Mar 7 2014

Functions

int fiNumHalts(HALT *halt, MODULE *module, int iBody)

void InitializeHalts(CONTROL *control, MODULE *module)

int HaltMinObl(BODY *body, EVOLVE *evolve, HALT *halt, IO *io, UPDATE *update, fnUpdateVariable ***fnUpdate, int iBody)

int fniHaltMaxEcc(BODY *body, EVOLVE *evolve, HALT *halt, IO *io, UPDATE *update, fnUpdateVariable ***fnUpdate, int iBody)

int HaltMinEcc(BODY *body, EVOLVE *evolve, HALT *halt, IO *io, UPDATE *update, fnUpdateVariable ***fnUpdate, int iBody)

int HaltMinSemi(BODY *body, EVOLVE *evolve, HALT *halt, IO *io, UPDATE *update, fnUpdateVariable ***fnUpdate, int iBody)

int HaltPosDeccDt(BODY *body, EVOLVE *evolve, HALT *halt, IO *io, UPDATE *update, fnUpdateVariable ***fnUpdate, int iBody)

int HaltMerge(BODY *body, EVOLVE *evolve, HALT *halt, IO *io, UPDATE *update, fnUpdateVariable ***fnUpdate, int iBody)

void VerifyHalts(BODY *body, CONTROL *control, MODULE *module, OPTIONS *options)

int fbCheckHalt(BODY *body, CONTROL *control, UPDATE *update, fnUpdateVariable ***fnUpdate)

halt.h 

This file contains all the checks for dynamical states that result in the termination of the program.

Author: Rory Barnes (RoryBarnes)
Date: Mar 7 2014

Defines

max(a, b)