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

P

paint(Graphics) - Method in class edu.hws.jcm.draw.DisplayCanvas

Draw the contents of the DisplayCanvas.

paint(Graphics) - Method in class edu.hws.jcm.draw.LimitControlPanel

Draw the input box labels.

paintComponent(Graphics) - Method in class ui.FormulaTree

Redefines the painting method of JPanel

Panner - Class in edu.hws.jcm.draw

When a Panner object is added to a CoordinateRect, it becomes possible to "grab" the coordinate rectangle and pan it (that is, slide it around by moving it with the mouse).

Panner() - Constructor for class edu.hws.jcm.draw.Panner

Create a Panner object that will let the user pan the CoordinateRect that contains the Panner by right-clicking and dragging (or, on Macintosh, command-clicking).

Panner(int) - Constructor for class edu.hws.jcm.draw.Panner

Create a Panner object that will let the user click-and-drag to pan the CoordinateRect that contains the Panner.

ParameterException - Exception in exceptions

Parameter Exception This exception is thrown when an invalid parameter is provided to any methods of Cismo.

ParameterException(String) - Constructor for exception exceptions.ParameterException

Default constructor ... use the provided error message.

ParameterException - Exception in generator.exceptions

Parameter Exception This exception is thrown when an invalid parameter is provided to the methods of the generator.

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

Default constructor ... use the provided error message.

ParametricCurve - Class in edu.hws.jcm.draw

A ParametricCurve is defined by two functions, x(t) and y(t) of a variable, t, for t in a specified interval.

ParametricCurve() - Constructor for class edu.hws.jcm.draw.ParametricCurve

Create a ParametricCurve with nothing to graph.

ParametricCurve(Function, Function) - Constructor for class edu.hws.jcm.draw.ParametricCurve

Create a parametric curve with x and y coordinates given by the specified functions of the parameter t.

ParametricCurve(Function, Function, Value, Value, Value) - Constructor for class edu.hws.jcm.draw.ParametricCurve

Create a parametric curve with the specified values.

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

The parent of this controller, if any.

parse(String) - Method in class edu.hws.jcm.data.Parser

Parse the string str and create the corresponding expression.

parse(String) - Method in class logic.LogicParser

Logical parser.

ParseError - Exception in edu.hws.jcm.data

Represents a syntax error that is found while a string is being parsed.

ParseError(String, ParserContext) - Constructor for exception edu.hws.jcm.data.ParseError

Create a new ParseError with a given error message and parsing context.

parseExp(String) - Method in class engin.Engin

Parse a string representing an expression attached to a transition to build an expression object recognizable by the JavaMath library.

parseExpression(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

parseFactor(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

parseFormula(String) - Method in class engin.Engin

Parse a string representing a formula (usually from the formula history) in order to build a formula tree that can be analysedby the engine.

parseLogical(String) - Method in class edu.hws.jcm.data.Parser

Parse the String, str, and create a corresponding logical-valued expression.

parseLogicalExpression(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

parseLogicalFactor(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

parseLogicalTerm(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

parsePrimary(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

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

A parser for parsing the user's input expression.

Parser - Class in edu.hws.jcm.data

A Parser can take a string and compile it into an ExpressionProgram.

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

Construct a Parser with no parent and with the default options, BOOLEANS and STANDARD_FUNCTIONS.

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

Create a Parser with the specified parent.

Parser(int) - Constructor for class edu.hws.jcm.data.Parser

Create a Parser with the spedified option set and with no parent.

Parser(Parser, int) - Constructor for class edu.hws.jcm.data.Parser

Create a Parser with the specified parent.

ParserContext - Class in edu.hws.jcm.data

A ParserContext holds all the state data for a parsing operation, including the string that is being parsed, a pointer to the current position in that string, and the most recently parsed token from the string.

ParserContext(String, int, SymbolTable) - Constructor for class edu.hws.jcm.data.ParserContext

Create a ParserContext for parsing the data String, using the specified options and symbol table.

parseRelation(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

ParserExtension - Interface in edu.hws.jcm.data

A ParserExtension can be defined to add new capabilities to a standard Parser.

parseTerm(ParserContext) - Method in class edu.hws.jcm.data.Parser

Called as part of the parsing process.

Partition - Class in generator.engin.utils

Partition This class is used to split a real number into several real numbers for which the sum equals the original number.

Partition() - Constructor for class generator.engin.utils.Partition

PartitionException - Exception in generator.exceptions

Partition Exception This exception is thrown upon failure of a call to partition.

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

Default constructor ... use the provided error message.

PartitionInteger - Class in generator.engin.utils

PartitionInteger This class is used to split an integer number into several smaller numbers for which the sum equals the original number.

PartitionInteger() - Constructor for class generator.engin.utils.PartitionInteger

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

Pause the animation, if it is running.

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

Used to add a component to the Animator Panel; can be used in a constructor or in the addControl() method.

PIECEWISE_LINEAR - Static variable in class edu.hws.jcm.functions.TableFunction

If the style of the function is set to PIECEWISE_LINEAR, then linear interpolation is used to find the value of the functions for x-values between the points that define the function.

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

Convert a horizontal pixel coordinate into an x-coordinate.

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

Convert a vertical pixel coordinate into a y-coordinate.

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

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

POINT - Static variable in class generator.data.RandomizedModel

Represents a uniform law distribution function depending on y only.

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

Remove and return the top item on the stack.

pos - Variable in class edu.hws.jcm.data.ParserContext

Current position in that string, indicating how many characters have been consumed.

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

one of the constants defined in this class for specifying position

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

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

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

Advance the animation BACK one frame.

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

Used to add a component to the Animator Panel; can be used in a constructor or in the addControl() method.

ProbabilisticNext - Class in logic

Probabilistic Next Represents a subformula containing at least one probabilistic expression.

ProbabilisticNext(String, double, Formula) - Constructor for class logic.ProbabilisticNext

Represents a probabilistic expression followed by a subformula.

ProbSystem - Interface in data

ProbSystem This interface serve as a basis for teh probabilistic systems used by the engine.

ProbSystemException - Exception in exceptions

ProbSystem Exception This exception is thrown when a logical error or redudancy error is detected within the probabilistic system.

ProbSystemException() - Constructor for exception exceptions.ProbSystemException

Default constructor with no description

ProbSystemException(String) - Constructor for exception exceptions.ProbSystemException

Initialization constructor

ProbSystemHash - Class in data

ProbSystem Hash This class represents a probabilistic system constructed using hash table structures.

ProbSystemHash(double, IntervalList, int) - Constructor for class data.ProbSystemHash

Initialize a new system from its starting state and its state space

ProbSystemMtbdd - Class in data

ProbSystem MTBDD This class represents a probabilistic system constructed using MTBDD data structures.

ProbSystemMtbdd(double, IntervalList, int) - Constructor for class data.ProbSystemMtbdd

Initialize a new system from its initial state and its state space.

processActionEvent(ActionEvent) - Method in class edu.hws.jcm.awt.ComputeButton

This is called by the system when the user clicks the button.

processActionEvent(ActionEvent) - Method in class edu.hws.jcm.awt.ExpressionInput

Overridden to call onUserAction.compute() if onUserAction is non-null.

processActionEvent(ActionEvent) - Method in class edu.hws.jcm.awt.VariableInput

Overridden to call onUserAction.compute() if onUserAction is non-null.

processAdjustmentEvent(AdjustmentEvent) - Method in class edu.hws.jcm.awt.VariableSlider

Overridden to call onUserAction.compute() if onUserAction is non-null.

processComponentEvent(ComponentEvent) - Method in class edu.hws.jcm.draw.LimitControlPanel

Recompute component locations when the panel is resized.

processContainerEvent(ContainerEvent) - Method in class edu.hws.jcm.awt.JCMPanel

Called by the system when a component is added to or removed from this panel.

processKeyEvent(KeyEvent) - Method in class edu.hws.jcm.awt.ExpressionInput

Override processKeyEvent to only allow characters that are legal in expressions.

processKeyEvent(KeyEvent) - Method in class edu.hws.jcm.awt.VariableInput

Override processKeyEvent to only allow characters that are legal in this VariableInput.

processKeyEvent(KeyEvent) - Method in class ui.FormulaDialog

processMouseEvent(MouseEvent) - Method in class edu.hws.jcm.draw.DisplayCanvas

This has been overridden to handle the mouse zoom feature.

processMouseMotionEvent(MouseEvent) - Method in class edu.hws.jcm.draw.DisplayCanvas

This has been overridden to handle the mouse zoom feature.

processTextEvent(TextEvent) - Method in class edu.hws.jcm.awt.ExpressionInput

Overridden to call onUserAction.compute() if onUserAction is non-null.

processTextEvent(TextEvent) - Method in class edu.hws.jcm.awt.VariableInput

Overridden to call onUserAction.compute() if onUserAction is non-null.

prog - Variable in class edu.hws.jcm.data.ParserContext

The ExpressionProgram that is being generated as the string is parsed.

ProgressDialog - Class in ui

Progress Dialog Progress Bar is a box shown during long operations.

ProgressDialog(JFrame) - Constructor for class ui.ProgressDialog

Default constructor for a call within a frame

ProgressDialog(JDialog) - Constructor for class ui.ProgressDialog

Default constructor for a call within a dialog

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

Add x to top of stack.