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

F

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

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

FACTORIAL - Static variable in class edu.hws.jcm.data.Parser

An option that can be set for this parser.

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

Apply a logical AND to two MTBDDs.

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

Build the MTBDD from the corresponding parameters

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

Returns the negation of the MTBDD.

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

Apply a logical OR of two MTBBDs.

FileDialogs - Class in ui.utils

FileDialogs This package is used to request filename for saving or loading a system.

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

Rects and ovals are filled with this color, if it is non-null.

findCoordinateRectAt(int, int) - Method in class edu.hws.jcm.draw.DisplayCanvas

Return CoordinateRect that contains the specified pixel, or null if there is none.

findPoint(double) - Method in class edu.hws.jcm.functions.TableFunction

If there is a point in the list with x-coordinate x, then this function returns the index of that point in the list (where the index of the first point is zero).

findZeroes(Expression, Variable, Interval, double) - Method in class engin.Engin

This method finds the intersection points between a mathematical expression and a threshold, on the interval closure inter.

findZeroesBigDecimal(Expression, Variable, Interval, double) - Method in class engin.Engin

This method finds the intersection points between a mathematical expression and a threshold, on the interval closure inter.

findZeroesDouble(Expression, Variable, Interval, double) - Method in class engin.Engin

This method finds the intersection points between a mathematical expression and a threshold, on the interval closure inter.

finishDrag(MouseEvent) - Method in interface edu.hws.jcm.draw.Draggable

Finish a draw that was started in startDrag().

finishDrag(MouseEvent) - Method in class edu.hws.jcm.draw.DraggablePoint

Finish a drag operation begun in startDrag().

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

If an edit function has been specified (by startEdit()), this function copies the data form the TableFunctionInput into that function, and returns a pointer to that function.

FINITE_STATES - Static variable in class generator.engin.GeneratorEngine

Defines a finite states generation

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

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

font - Variable in class edu.hws.jcm.draw.DrawString

Font for drawing string.

Formula - Class in logic

Formula This abstract class represents a basic formula.

Formula() - Constructor for class logic.Formula

Constructor with no subformula, for the True clause.

Formula(Formula) - Constructor for class logic.Formula

Constructor with one subformula, for logical operator NOT.

Formula(Formula, Formula) - Constructor for class logic.Formula

Constructor with two subformulas, for logical operators AND and NOT.

FormulaDialog - Class in ui

Titre : Formula Dialog Description : Cette classe est un assistant pour la génération et la vérification de formules.

FormulaDialog(JFrame, Engin, String, FormulaDialogListener) - Constructor for class ui.FormulaDialog

Crée la fenêtre de saisie de formules.

FormulaDialogListener - Interface in ui

FormulaDIalogListener This interface is used to listen to event launched from within the formula dialog.

FormulaTree - Class in ui

Formula Tree This classes displays a tree representing the formula passed to its constructor.

FormulaTree(Formula) - Constructor for class ui.FormulaTree

Default constructor ... a formula must be provided in order to draw the corresponding tree.

frameColor - Variable in class edu.hws.jcm.draw.DrawString

If frameWidth is greate than zero, then a frame is drawn around the string in this color.

frameWidth - Variable in class edu.hws.jcm.draw.DrawString

If frameWidth is greater than zero, then a frame of this width is drawn around the string in the color given by frameColor.

Function - Interface in edu.hws.jcm.data

A Function is a mathematical real-valued function of zero or more real-valued arguments.

FunctionParserExtension - Class in edu.hws.jcm.functions

An object belonging to a concrete subclass of FunctionParserExtesion is a mathematical function that can be registered with a Parser and then used in strings that are parsed by that parser.

FunctionParserExtension() - Constructor for class edu.hws.jcm.functions.FunctionParserExtension

FunctionsSelector - Class in generator.ui

Functions Selector This dialog enables the user to exlcude functions from the generation.

FunctionsSelector(RandomizedModel, JDialog) - Constructor for class generator.ui.FunctionsSelector