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

I

IDENTIFIER - Static variable in class edu.hws.jcm.data.ParserContext

One of the possible token types returned by look() and next().

indexOf(double) - Method in class data.IntervalList

This methods find the value v in the interval list and returns the index of the interval which contains the v value.

INFINITE_LINE_ABSOLUTE - Static variable in class edu.hws.jcm.draw.DrawGeometric

Specifies a line that extends through the points (x1,y1) and (x2,y2) and beyond.

INFINITE_LINE_RELATIVE - Static variable in class edu.hws.jcm.draw.DrawGeometric

Specifies an infinite line through (x1,y1) and (x1+x2,y1+y2), or through (x1,y1) and (x1+h,y1+v) if x2,y2 are null.

initialise() - Method in class Mtbdd.Mtbdd

Initialize the MTBDD structures

InitialState - Class in ui.components

Initial State is used to print the list representing the system loaded.

InitialState(double) - Constructor for class ui.components.InitialState

Default constructor, initializes the initial state

initialStates - Variable in class data.ActInitialEndingTriplet

The initial state set of the transition

initialStates - Variable in class data.ActInitialPair

The initial state set of the transition

InputObject - Interface in edu.hws.jcm.awt

An InputObject represents some sort of value that can be changed by, for example, user interaction with a GUI element.

inputs - Variable in class edu.hws.jcm.awt.Controller

InputObjects controlled by this controller.

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

One of the constant values EXPRESSION, REAL, or INTEGER, specifying the style of input.

INSCRIBED - Static variable in class edu.hws.jcm.draw.RiemannSumRects

Summation method type.

insertRow() - Method in class edu.hws.jcm.awt.DataTableInput

Insert a row before the row that contains the cell that the user is editing.

INTEGER - Static variable in class edu.hws.jcm.awt.VariableInput

A constant for use in the setInputStyle() method.

integerValued - Variable in class edu.hws.jcm.awt.VariableSlider

If this is true, then the value of the variable associated with this slider is an integer.

INTERCEPT - Static variable in class edu.hws.jcm.draw.ScatterPlot

A constant that can be used in the getValueObject() method to indicate which statistic the object should represent.

intersectionOf(Interval, Interval) - Static method in class data.Interval

Compute the intersection of two intervals.

intersectionOf(IntervalList, IntervalList) - Static method in class data.IntervalList

Returns the intersection of two lists.

intersectsWith(Interval) - Method in class data.Interval

Determines if the current interval intersects with i.

Interval - Class in data

Interval This class represents a real interval, comprised of two real bounds.

Interval(boolean, double, double, boolean) - Constructor for class data.Interval

Constructor with parameters.

Interval(Interval) - Constructor for class data.Interval

Copy constructor.

Interval(String) - Constructor for class data.Interval

Build a new interval from a string.

IntervalList - Class in data

IntervalList This class represents a list of intervals, i.e. a subset of the real numbers.

IntervalList() - Constructor for class data.IntervalList

Constructor with no parameter... creates an empty list.

IntervalList(Interval) - Constructor for class data.IntervalList

Constructor with one interval as parameter...

IntervalList(String) - Constructor for class data.IntervalList

Construct a list of interval from a string.

IntervalList(IntervalList) - Constructor for class data.IntervalList

Copy constructor ...

IntervalListNoUnion - Class in generator.data

Interval List No Union This list contains several IntervalNoUnion.

IntervalListNoUnion() - Constructor for class generator.data.IntervalListNoUnion

Default constructor ... creates an empty list

IntervalListNoUnionException - Exception in generator.exceptions

IntervalListNoUnion Exception This exception is thrown when invalid intervals are added, or when trying to access an out of bound index.

IntervalListNoUnionException(String) - Constructor for exception generator.exceptions.IntervalListNoUnionException

Default constructor ... use the provided error message.

IntervalNoUnion - Class in generator.data

Interval No Union This is a an enhanced version of Interval for use with a intervalNoUnionList.

IntervalNoUnion(boolean, double, double, boolean) - Constructor for class generator.data.IntervalNoUnion

Initialization constructor ... calls the constructor of Interval.

IntervalNoUnionException - Exception in generator.exceptions

IntervalNoUnion Exception This exception is thrown when invalid values are put in an interval, like an greater lower bound than upper bound.

IntervalNoUnionException(String) - Constructor for exception generator.exceptions.IntervalNoUnionException

Default constructor ... use the provided error message.

intervals - Variable in class edu.hws.jcm.awt.VariableSlider

The number of possible value of the scrollbar (Unless integerValued is true.)

isConstraintVerified() - Method in class engin.event.EnginEvent

Returns true if the system verifies the LMP constraints

isDiscrete() - Method in class data.Interval

An interval is discrete should both of its bound be equals and included.

isEmpty() - Method in class data.IntervalList

Returns 'True' if the list is empty.

isEmpty() - Method in class edu.hws.jcm.data.StackOfDouble

Return true if and only if the stack contains no items.

isExtensionListInDescription() - Method in class ui.ExampleFileFilter

Returns whether the extension list (.jpg, .gif, etc) should show up in the human readable description.

isFunctionSelected(String) - Method in class generator.data.RandomizedModel

Test wether a function type is present in the list or not

isIn(double) - Method in class data.Interval

Determines if the value v is indeed included in the interval.

isIn(double) - Method in class data.IntervalList

Returns 'True' should the value be part of an interval of the list

isIncluded(Interval) - Method in class data.Interval

Determines if the smaller interval is included into this one.

isIncluded(IntervalList) - Method in class data.IntervalList

Returns true if the smaller interval is included into the list or is equal

isIncluded(Interval) - Method in class data.IntervalList

Returns true if the interval is included or equal to the current list.

isLowerBoundIncluded() - Method in class data.Interval

Returns true should the lower bound be included

isSatisfied() - Method in class engin.event.EnginEvent

Returns true if the engine has determined that the formula is verified by the probabilistic system

isUpperBoundIncluded() - Method in class data.Interval

Returns true should the upper bound be included

items - Variable in class edu.hws.jcm.awt.Tie

The Tieables in this Tie.

items - Variable in class edu.hws.jcm.draw.LimitControlPanel

Vector of components and component pairs that have been added to this panel, including at least the xmin, xmax, ymin, ymax input boxes.

itemStateChanged(ItemEvent) - Method in class edu.hws.jcm.awt.Animator

Respond to clicks on pop-up menus.

itemStateChanged(ItemEvent) - Method in class edu.hws.jcm.awt.Controller

Simply calls compute when the Controller hears an ItemEvent.

itemStateChanged(ItemEvent) - Method in class edu.hws.jcm.functions.TableFunctionInput

React when user clicks on a point in the list of points or clicks one of the radio buttons for specifying the style of the function.