STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
Public Member Functions | Static Public Member Functions | List of all members
stamina.StaminaCL Class Reference

Public Member Functions

void run (String[] args)
 
void initializeSTAMINA ()
 

Static Public Member Functions

static void main (String[] args)
 

Member Function Documentation

◆ initializeSTAMINA()

void stamina.StaminaCL.initializeSTAMINA ( )
inline

Initializes STAMINA to ready state. Also initializes the PRISM engine we're using.

◆ main()

static void stamina.StaminaCL.main ( String[]  args)
inlinestatic

Main function. Entry point into STAMINA.

Parameters
argsCommand line arguments.

◆ run()

void stamina.StaminaCL.run ( String[]  args)
inline

Runs the StaminaCL.

Parameters
argsCommand line arguments to parse.

The documentation for this class was generated from the following file: