A B C D E F G H I J L M N O P Q R S T U V W X Y Z

H

h - Variable in class edu.hws.jcm.draw.DrawGeometric

Integer that gives horizontal pixel offset from x1.

hasChanged - Variable in class edu.hws.jcm.awt.ExpressionInput

True if the contents of the box have not changed since the last time the input was checked (by a call to checkInput()).

hasChanged - Variable in class edu.hws.jcm.awt.VariableInput

This is set to true if the text in the box has been changed since the last time the value of the variable was checked by checkInput().

hasChanged() - Method in class ui.OptionsDialog

Is the values have been validated (Ok button), this will return true.

hasChanged() - Method in class ui.SystemDialog

If the input values have been validated, this will return true.

hasChanged() - Method in class ui.TransitionDialog

If the values have been validated (Ok button), this will return true.

hashCode() - Method in class data.ActInitialEndingTriplet

Build a has value based on the triplet's parameters.

hashCode() - Method in class data.ActInitialPair

Returns an integer representing the pair.

hashCode() - Method in class data.Interval

Returning an integer representing this interval

hideCancel() - Method in class ui.ProgressDialog

This method hides the cancel button

highestPForTransition(Transition, double) - Method in class engin.Engin

Returns true if q is the highest probability of the transition.

HORIZONTAL - Static variable in class edu.hws.jcm.awt.Animator

Indicates that the components in the Animator panel are to be in a horizontal row.