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

E

edu.hws.jcm.awt - package edu.hws.jcm.awt

edu.hws.jcm.data - package edu.hws.jcm.data

edu.hws.jcm.draw - package edu.hws.jcm.draw

edu.hws.jcm.functions - package edu.hws.jcm.functions

EMPTY_INTERVAL - Static variable in class data.Interval

Constant representing an empty interval.

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

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

endingStates - Variable in class data.ActInitialEndingTriplet

The ending state setof the transition

engin - package engin

Engin - Class in engin

Engin This is where all the computations take place.

Engin() - Constructor for class engin.Engin

Default constructor.

Engin(String, int) - Constructor for class engin.Engin

Test constructor, to compute the system size.

engin.event - package engin.event

Engin.Runner - Class in engin

Runner This class is a thread which starts the computation.

Engin.Runner() - Constructor for class engin.Engin.Runner

EnginEvent - Class in engin.event

Engin Event This class defines the events that can be fired by Cismo's engine.

EnginEvent() - Constructor for class engin.event.EnginEvent

Default constructor

EnginListener - Interface in engin.event

Engin Listener This interface is used to create listeners to attach to Cismo's engine.

EnginTraceDialog - Class in ui

Engine Trace Dialog This classes display the computation trace of the engine's functions.

EnginTraceDialog(JFrame, int) - Constructor for class ui.EnginTraceDialog

This is the default constructor... it only requires a reference to the parent frame.

EQ - Static variable in class edu.hws.jcm.data.ExpressionProgram

Code for a unary or binary operator or a standard function.

EQUALIZE - Static variable in class edu.hws.jcm.draw.LimitControlPanel

A constant that can be used in the addButton() method to add a button to the LimitControlPanel.

equalizeAxes() - Method in class edu.hws.jcm.draw.CoordinateRect

Reset limits, if necessary, so scales on the axes are the same.

equals(Object) - Method in class data.ActInitialEndingTriplet

Determines if the object is identical to this triplet.

equals(Object) - Method in class data.ActInitialPair

Determines wether of not the specified object is identical to this pair.

equals(Object) - Method in class data.Interval

Determines if the object is an interval equals to this one.

equals(Object) - Method in class data.IntervalList

Returns true if the object is semantically equivalent to the current list.

equals(Cases) - Method in class edu.hws.jcm.data.Cases

Test whether c contains exactly the same list of case values as this Cases object does.

equals(ExpressionProgram) - Method in class edu.hws.jcm.data.ExpressionProgram

equals(Object) - Method in class logic.AtomicProposition

Determines if the specified object is equals to this atomic proposition.

equals(Object) - Method in class logic.Formula

Determines if the provided object is a formula equal to this one

equals(Object) - Method in class logic.ProbabilisticNext

Determines if the specified object is a Probabilistic Next operator

equals(Object) - Method in class logic.True

Détermine if the object provided is a true clause.

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

Should be called by the ErrorReporter if the ErrorReporter clears the error itself.

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

If non-null, this is an error message that has been reported and not yet cleared.

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

Error message from the most recent time the input was checked by a call to checkInput().

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

Error message from the most recent time checkInput() as called.

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

Used for reporting errors that occur in the compute() method of this controller.

ErrorReporter - Interface in edu.hws.jcm.awt

To allow different styles of reporting errors, a Controller uses an ErrorReporter to report any errors that are thrown during its checkInput/compute cycle.

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

For reporting errors in user input.

estimateNumberOfTransitions() - Method in class generator.data.RandomizedModel

Estimates the number of transitions contained in the model

estNulle(int, int) - Method in class Mtbdd.Mtbdd

Check wether or not a transition of the MTBDD has a null value

eval(int, int, int[]) - Method in class Mtbdd.Mtbdd

Evaluate the MTBDD, returns the repartition function's number

ExampleFileFilter - Class in ui

A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about.

ExampleFileFilter() - Constructor for class ui.ExampleFileFilter

Creates a file filter.

ExampleFileFilter(String) - Constructor for class ui.ExampleFileFilter

Creates a file filter that accepts files with the given extension.

ExampleFileFilter(String, String) - Constructor for class ui.ExampleFileFilter

Creates a file filter that accepts the given file type.

ExampleFileFilter(String[]) - Constructor for class ui.ExampleFileFilter

Creates a file filter from the given string array.

ExampleFileFilter(String[], String) - Constructor for class ui.ExampleFileFilter

Creates a file filter from the given string array and description.

exceptions - package exceptions

existeAct(int, int, int) - Method in class Mtbdd.Mtbdd

Determines if there is an transition with the specified action attached.

existeTransition(int, int, int) - Method in class Mtbdd.Mtbdd

Determines wether or not the transition is part of the transition array.

EXP - Static variable in class edu.hws.jcm.data.ExpressionProgram

Code for a unary or binary operator or a standard function.

EXPONENTIAL - Static variable in class generator.data.RandomizedModel

Represents an exponential law distribution function

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

The Expression associate with this input box.

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

A constant for use in the setInputStyle() method.

Expression - Interface in edu.hws.jcm.data

An Expression represents a mathematical expression such as "x+1" or "3" or "sin(x*ln(x)-3*abs(x/4))".

ExpressionCommand - Interface in edu.hws.jcm.data

An ExpressionCommand can occur as a command in an ExpressionProgram.

ExpressionFunction - Class in edu.hws.jcm.functions

An ExpressionFunction is a Function that is created from an expression and a list of variables that serve as the parameter(s) of the function.

ExpressionFunction(String, String) - Constructor for class edu.hws.jcm.functions.ExpressionFunction

Constuct a function of one parameter, named "x", by parsing the String, def, to get the definition of the function.

ExpressionFunction(String, String[], String, Parser) - Constructor for class edu.hws.jcm.functions.ExpressionFunction

Constuct a function of one or more parameters by parsing the String, def, to get the definition of the function.

ExpressionFunction(String, Variable[], Expression) - Constructor for class edu.hws.jcm.functions.ExpressionFunction

Construct a function from a list of variables that serve as parameters and an expression that, presumably, can include those variables.

ExpressionInput - Class in edu.hws.jcm.awt

An ExpressionInput is an input box that allows the user input a mathematical expression.

ExpressionInput() - Constructor for class edu.hws.jcm.awt.ExpressionInput

Create a new ExpressionFunction with no associated parser.

ExpressionInput(String, Parser) - Constructor for class edu.hws.jcm.awt.ExpressionInput

Create an ExpressionInputBox with initial contents given by initialValue.

ExpressionInput.EI - Class in edu.hws.jcm.awt

The expression associated with an ExpressionInput belongs to this class.

ExpressionProgram - Class in edu.hws.jcm.data

An ExprssionProgram represents a mathematical expression such as "3" or "sin(x^2)", stored in the form of a program for a stack machine.

ExpressionProgram() - Constructor for class edu.hws.jcm.data.ExpressionProgram

Default constructor creates an initially empty program.

extent(ExpressionProgram, int) - Method in class edu.hws.jcm.data.ConditionalExpression

Assume that this ConditionalExpression object occurs in prog at index myIndex.

extent(ExpressionProgram, int) - Method in class edu.hws.jcm.data.Constant

Return the number of locations that this Constant uses in the program.

extent(ExpressionProgram, int) - Method in interface edu.hws.jcm.data.ExpressionCommand

The ExpressionCommand occurs in the program prog at the index indicated by myIndex.

extent(int) - Method in class edu.hws.jcm.data.ExpressionProgram

The command at position index in the program represents a subexpression of the whole expression.

extent(ExpressionProgram, int) - Method in class edu.hws.jcm.functions.FunctionParserExtension

Return the number of commands in prog that are part of this function reference, including the space occupied by the commands that compute the values of the function's arguments.