Serialized Form
initialStates
Interval initialStates
- The initial state set of the transition
endingStates
Interval endingStates
- The ending state setof the transition
action
java.lang.String action
- The action attached to the transition
initialStates
Interval initialStates
- The initial state set of the transition
action
java.lang.String action
- The action attached to the transition
|
Class data.Interval extends java.lang.Object implements Serializable |
lowerBound
double lowerBound
- Represents the lower bound.
upperBound
double upperBound
- Represents the upper bound.
isLowerBoundIncluded
boolean isLowerBoundIncluded
- true should the lower bound be included in the interval.
isUpperBoundIncluded
boolean isUpperBoundIncluded
- true should the upper bound be included in the interval.
nb
int nb
- if = 0 : no transition point to this interval
if = 1 : at least one transition has this interval as domain
if = 2 : at least one transition has this interval as image
if = 3 : at least one transition has this interval both as domain and image
list
java.util.ArrayList<E> list
- An array containing all the intervals included in the list.
The initial array capacity is 1000.
states
IntervalList states
- Represents the state space
initialState
double initialState
- Represents the initial state of the system
ap
java.util.TreeSet<E> ap
- Contains all the atomic propositions of the system
actions
java.util.ArrayList<E> actions
- Contains all the actions applied to one or several transitions
startingStates
java.util.HashMap<K,V> startingStates
- Contains associations of the type Action -> set of Intervals
This will enable the engine to quickly determine if an action can
be applied to certain starting interval x from X.
endingStates
java.util.HashMap<K,V> endingStates
- Contains association (Action, starting interval) -> set of Intervals
This will allow the engine to quickly determine if a specific
ending interval y from Y can be reached using a certain action from
a certain starting interval x from X. This will be much faster than
parsing all the transitions included in the system.
transitions
java.util.HashMap<K,V> transitions
- Contains associations (Action, starting interval, ending interval) -> Transition
Again this is useful to quickly identify a transition with the specified
triplet as parameters. Fetching the transition from the triplet is
much faster than seeking the transition list.
apStates
java.util.HashMap<K,V> apStates
- Contains associations atomic proposition -> IntervalList.
Determines the states for which the atomic propositions are valid.
nbAction
int nbAction
- Maximum number of actions
states
IntervalList states
- Represents the system state space. All states must be included
in the state space.
interInTrans
java.util.ArrayList<E> interInTrans
- Represents the intervals used in the transitions.
nbInterval
int nbInterval
- Number of intervals used in the transitions
initialState
double initialState
- Represents the system's initial state
ap
java.util.TreeSet<E> ap
- Represents the system's atomic propositions.
actions
java.util.ArrayList<E> actions
- Contains all the action that can be applied to the system
transitions
int transitions
- Pointer (for the CUDD C library) that represents the transition set.
fctRepartition
java.util.ArrayList<E> fctRepartition
- Contains the repartiton functions list
apStates
java.util.HashMap<K,V> apStates
- Contains atomic propositions. States are associated to labels.
M
Mtbdd M
- Instance of the MTBDD class that interfaces with CUDD.
nbAction
int nbAction
- Maximum number of actions.
minX
double minX
- Represents the smallest x value acceptable for the normal law.
maxX
double maxX
- Represent the largest x value acceptable for the normal law.
mu
double mu
- Deprecated.
- Represents the average value of the normal law. Used to center the law.
sigma
double sigma
- Deprecated.
- Represents the variance of the normal law. Used to reduce the law.
var
Variable var
- The variable of the function.
startStopButton
java.awt.Button startStopButton
startButton
java.awt.Button startButton
stopButton
java.awt.Button stopButton
pauseButton
java.awt.Button pauseButton
nextButton
java.awt.Button nextButton
prevButton
java.awt.Button prevButton
speedChoice
java.awt.Choice speedChoice
loopChoice
java.awt.Choice loopChoice
orientation
int orientation
startButtonName
java.lang.String startButtonName
stopButtonName
java.lang.String stopButtonName
loopStyle
int loopStyle
runningBackwards
boolean runningBackwards
millisPerFrame
int millisPerFrame
frame
int frame
maxFrame
int maxFrame
value
double value
serialNumber
long serialNumber
onChange
Computable onChange
min
Value min
max
Value max
intervals
Value intervals
needsValueCheck
boolean needsValueCheck
min_val
double min_val
max_val
double max_val
intervals_val
int intervals_val
runner
java.lang.Thread runner
status
int status
undefinedWhenNotRunning
boolean undefinedWhenNotRunning
onUserAction
Controller onUserAction
computables
java.util.Vector<E> computables
- Computable objects controlled by this controller. Note that Controllers
are Computables, so this list can include sub-controllers.
inputs
java.util.Vector<E> inputs
- InputObjects controlled by this controller. Note that Controllers
are InputObjects, so this list can include sub-controllers.
ties
java.util.Vector<E> ties
- Ties that have been added to this controller.
errorReporter
ErrorReporter errorReporter
- Used for reporting errors that occur in the
compute() method of this controller. If the errorReporter
is null and if this controller has a parent,
then the parent will report the error. If
no ancestor has an errorReporter, the error
message is written to standard output.
parent
Controller parent
- The parent of this controller, if any.
This is set automatically when one
controller is added to another.
errorMessage
java.lang.String errorMessage
- If non-null, this is an error message
that has been reported and not yet cleared.
objectName
java.lang.String objectName
rows
java.util.Vector<E> rows
rowStrings
java.util.Vector<E> rowStrings
columnName
java.lang.String[] columnName
columnCount
int columnCount
currentRow
int currentRow
emptyCellValue
double emptyCellValue
throwErrors
boolean throwErrors
autoAddRows
boolean autoAddRows
showColumnTitles
boolean showColumnTitles
showRowNumbers
boolean showRowNumbers
canvas
edu.hws.jcm.awt.DataTableInput.DisplayPanel canvas
serialNumber
long serialNumber
labelBackground
java.awt.Color labelBackground
cellBackground
java.awt.Color cellBackground
blankBackground
java.awt.Color blankBackground
gridColor
java.awt.Color gridColor
text
java.lang.String text
- Unsubstituted text for display.
numSize
int numSize
- Desired maximum number of characters in displayed numbers.
values
Value[] values
- Value objects whose values will be
substituted for #'s in text.
expr
ExpressionInput.EI expr
- The Expression associate with this input box.
Class EI is a private nested class.
parser
Parser parser
- A parser for parsing the user's input
expression. If this is null,
a default parser will be used and
only constant expressions will
be allowed.
hasChanged
boolean hasChanged
- True if the contents of the box have not
changed since the last time the input was
checked (by a call to checkInput()).
throwErrors
boolean throwErrors
- True if an error should be thrown
when checkInput() is called,
but the content of the box is not
a legal expression. Otherwise, the
expression will become a constant
expression with value Double.NaN.
onUserAction
Controller onUserAction
onTextChange
Controller onTextChange
errorMessage
java.lang.String errorMessage
- Error message from the most recent
time the input was checked by a
call to checkInput(). If this is
null, then no error occurred.
serialNumber
long serialNumber
exp
ExpressionProgram exp
- The actual expression, or null if the
expression is undefined. If this is a
derivative of another EI, this will be
recomputed as necessary when the expression is used
in some way.
derivativeOf
ExpressionInput.EI derivativeOf
- This is null for the original expression input by the
user. If this EI was formed by taking the derivative
of anotehr EI, that EI is stored here.
wrt
Variable wrt
- Which Variable is this a derivative with respect to?
If derivativeOf is null, so is wrt.
serialNumber
int serialNumber
- For the original expression input by the user, this
goes up by one each time checkInput() is called and
finds a change in the user's input. For derivative
EI, this is the serial number of "derivativeOf" at
the time this derivative expression was last computed.
object
java.lang.Object object
- Object, possibly null, associated with this error.
insetGap
int insetGap
controller
Controller controller
variable
edu.hws.jcm.awt.VariableInput.VI variable
- The Variable that represents
the value of this input box. (VI is
a private nested class inside VariableInput.)
throwErrors
boolean throwErrors
- True if an error should be thrown
when checkInput() is calles and
the contents do not define a
legal number. True by default.
errorMessage
java.lang.String errorMessage
- Error message from the most recent
time checkInput() as called.
Null if there was no error.
serialNumber
long serialNumber
- This serial number is increased
each time the value of the variable
changes.
hasChanged
boolean hasChanged
- 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().
onUserAction
Controller onUserAction
onTextChange
Controller onTextChange
minValue
double minValue
- Smallest allowable value.
maxValue
double maxValue
- Largest allowable value.
inputStyle
int inputStyle
- One of the constant values EXPRESSION, REAL, or
INTEGER, specifying the style of input.
variable
edu.hws.jcm.awt.VariableSlider.VS variable
- The variable associated with this VariableSlider.
VS is a nested private class, defined below.
min
Value min
- The Values that specify the range of values represented
by the slider. min does not have to be less than max.
max
Value max
- The Values that specify the range of values represented
by the slider. min does not have to be less than max.
onUserAction
Controller onUserAction
integerValued
boolean integerValued
- If this is true, then the value of the
variable associated with this slider is
an integer. Furthermore, the number of
intervals on the slider is set to be
the same as the range of possible values
(unless this range is too big).
intervals
int intervals
- The number of possible value of the scrollbar
(Unless integerValued is true.)
serialNumber
long serialNumber
- This increases every time the value of the variable changes.
needsValueCheck
boolean needsValueCheck
- This is set to true when checkInput() is called
to indicate that the min and max values must be
checked the next time getVal() is called.
oldPosition
int oldPosition
- This is the position of the scrollbar the last time
getVal() or setVal() was called. It is used to check
whether the user has repositioned the slider.
minVal
double minVal
- The values found for min and max the last time
checkInput() was called.
maxVal
double maxVal
- The values found for min and max the last time
checkInput() was called.
trueCase
ExpressionProgram trueCase
falseCase
ExpressionProgram falseCase
name
java.lang.String name
value
double value
- The value of this Constant.
sourceString
java.lang.String sourceString
- If this is non-null, it is used as the print string
for this expression in the toString() method. (When an
expression is created by a Parser by parsing a string,
the parse stores that string in this variable.)
prog
int[] prog
progCt
int progCt
cases
Cases cases
stack
StackOfDouble stack
constant
double[] constant
constantCt
int constantCt
command
ExpressionCommand[] command
commandCt
int commandCt
context
ParserContext context
- The parsing context that was in effect
at the time the error occurred. This includes
the string that was being processed and the
position in the string where the error occured.
These values are context.data and context.pos.
options
int options
- The set of options that have been enabled for this parser.
symbols
SymbolTable symbols
- The symbol table that contains the MathObjects
that have been registered with this parser.
data
java.lang.String data
- The string that is being parsed.
pos
int pos
- Current position in that string, indicating how many
characters have been consumed.
prog
ExpressionProgram prog
- The ExpressionProgram that is being generated as the string
is parsed. Note that while parsing a ConditionalExpression, the
value of prog is temporarily changed. ParserExtensions might
want to do something similar.
token
int token
- The most recently read token type, or NONE if that token
has been consumed by a call to next(). The value NONE is never
returned by look() or next().
tokenString
java.lang.String tokenString
- The substring of the parse string that corresponds to the most recently
read token. This can change when look() or next() is called.
tokenObject
MathObject tokenObject
- If the most recently read token was of type IDENTIFIER, then
this is the corresponding MathObject from the symbol table,
or null if the identifier is not in the symbol table.
tokenValue
double tokenValue
- If the most recently read token was of type NUMBER, then
this is its numerical value.
options
int options
- The options from the Parser. Some of these options
affect tokenization, such as whether BOOLEANS is enabled.
symbols
SymbolTable symbols
- The Parser's symbol table, which is used for looking up
tokens of type IDENTIFIER.
tokBuf
java.lang.StringBuffer tokBuf
e
Expression e
v
Variable[] v
name
java.lang.String name
save
double[] save
data
double[] data
top
int top
name
java.lang.String name
code
int code
symbols
java.util.Hashtable<K,V> symbols
parent
SymbolTable parent
f
Function f
param
double[] param
x
Value x
y
Value y
op
char op
xAxisPosition
int xAxisPosition
yAxisPosition
int yAxisPosition
axesColor
java.awt.Color axesColor
lightAxesColor
java.awt.Color lightAxesColor
labelColor
java.awt.Color labelColor
xLabel
java.lang.String xLabel
yLabel
java.lang.String yLabel
xmin
double xmin
xmax
double xmax
ymin
double ymin
ymax
double ymax
gap
int gap
drawItems
java.util.Vector<E> drawItems
- Drawable items contained in this CoordinateRect
changed
boolean changed
- Set to true when one of the limits or the gap has changed.
serialNumber
long serialNumber
syncWith
Tie syncWith
- This contains other Limit objects with which the CoordinateRect is
synchronizing. This is ordinarily managed by a LimitControlPanel,
so you don't have to worry about it. (However, you can also sync
several CoordinateRects even in the absense of a LimitControlPanel.
To do so, create the Tie that ties the CoordinateRect and pass it to
the setSyncWith() method of each CoordinateRect. It is NOT necessary
to add the Tie to a Controller. Synchronization is handled by the
CoordinateRects themselves.
onChange
Controller onChange
- If non-null, this is the Controller that is notified when the limits change.
left
int left
top
int top
width
int width
height
int height
restore_xmin
double restore_xmin
restore_xmax
double restore_xmax
restore_ymin
double restore_ymin
restore_ymax
double restore_ymax
canvas
DisplayCanvas canvas
coordinateRects
java.util.Vector<E> coordinateRects
useOffscreenCanvas
boolean useOffscreenCanvas
handleMouseZooms
boolean handleMouseZooms
errorBackground
java.awt.Color errorBackground
errorForeground
java.awt.Color errorForeground
errorMessage
java.lang.String errorMessage
errorSource
Controller errorSource
dragged
Draggable dragged
radius
int radius
color
java.awt.Color color
ghostColor
java.awt.Color ghostColor
style
int style
xLoc
double xLoc
yLoc
double yLoc
xPosition
int xPosition
yPosition
int yPosition
useGhost
boolean useGhost
xVar
edu.hws.jcm.draw.DraggablePoint.DPV xVar
yVar
edu.hws.jcm.draw.DraggablePoint.DPV yVar
onUserAction
Controller onUserAction
clampX
Value clampX
clampY
Value clampY
dragging
boolean dragging
coords
CoordinateRect coords
- The CoordinateRect for the rectagular area where this
Drawable is drawn. This is set automatically when the
Drawable is added to a CoordingteRect and should not be
changed. (It will be changed automatically if the
Drawable is removed from the CoordinateRect.)
canvas
DisplayCanvas canvas
- The canvas on which this Drawable is drawn. This is set
automatically when the Drawable is added to a CoordinateRect
and it should not be changed. (It will be changed automatically
if the Drawable is removed from the CoordinateRect.)
visible
boolean visible
color
java.awt.Color color
- A non-null Color, giving the color of the bortder.
width
int width
- A non-negative integer giving the width of the border in pixels.
shape
int shape
- One of the constants such as OVAL_CENTERED, specifying the shape to be drawn
x1
Value x1
- One of the Value objects that determine the shape that is drawn.
The shape is specified by two points, (x1,y1) and (x2,y2).
x1 must be non-null.
x2
Value x2
- One of the Value objects that determine the shape that is drawn.
The shape is specified by two points, (x1,y1) and (x2,y2).
x2 must be non-null
for the "ABSOLUTE" shapes. (If not, they revert to
"RELATIVE" shapes and use h,v as the offset values.)
y1
Value y1
- One of the Value objects that determine the shape that is drawn.
The shape is specified by two points, (x1,y1) and (x2,y2).
y1 must be non-null.
y2
Value y2
- One of the Value objects that determine the shape that is drawn.
The shape is specified by two points, (x1,y1) and (x2,y2).
y2 must be non-null
for the "ABSOLUTE" shapes. (If not, they revert to
"RELATIVE" shapes and use h,v as the offset values.)
h
int h
- Integer that gives horizontal pixel offset from x1.
This is only used if x2 is null.
v
int v
- Integer that gives vertical pixel offset fromy1.
This is only used if y2 is null.
a
double a
- Value of x1. This is re-computed when the compute() method is called.
b
double b
- Value of y1. This is re-computed when the compute() method is called.
c
double c
- Value of x2. This is re-computed when the compute() method is called.
d
double d
- Value of y2. This is re-computed when the compute() method is called.
color
java.awt.Color color
- Color of the shappe. Color will be black if this is null. For shapes that
have "insides", such as rects, this is the color of the outline.
fillColor
java.awt.Color fillColor
- Rects and ovals are filled with this color, if it is non-null.
If this is null, only the outline of the shape is drawn.
lineWidth
int lineWidth
- The width, in pixels, of lines, including the outlines
of rects and ovals. It is restricted to being an integer
in the range from 0 to 10. A value of 0 means that lines
won't be drawn at all; this would only be useful for a filled
shape that has a colored interior.
changed
boolean changed
position
int position
- one of the constants defined in this class for specifying position
baseString
java.lang.String baseString
- String, possibly with \n and #'s. This is used as a base to get the actual string that is drawn.
strings
java.lang.String[] strings
- The actual lines to draw, derived from baseString.
values
Value[] values
- Values to be substituted for #'s in the baseString.
xPos
Value xPos
- xy-coords for drawing the string. If non-null then relative positioning is used.
If null, then positioning is absolute.
yPos
Value yPos
- xy-coords for drawing the string. If non-null then relative positioning is used.
If null, then positioning is absolute.
color
java.awt.Color color
- Color of string. If null, black is used as the default.
font
java.awt.Font font
- Font for drawing string. If null, get font from graphics context.
offset
int offset
- If absolute positioning is used, then this gives a gap between the string and edge of rect.
For relative positioning, this gives an offset from the value of xPos yPos.
clamp
boolean clamp
- If true, the string is clamped to lie within the CoordinateRect.
justification
int justification
- Left, right, or center justification of lines in the text.
numSize
int numSize
- Maximum number of characters desired in numbers; actual number might actually be larger.
backgroundColor
java.awt.Color backgroundColor
- If backgroundColor is non-null, then a rectangle of this color is filled
as a background for the string;
frameWidth
int frameWidth
- If frameWidth is greater than zero, then a frame of this width is drawn around the
string in the color given by frameColor.
frameColor
java.awt.Color frameColor
- If frameWidth is greate than zero, then a frame is drawn around the string in this
color. If the value is null, then the color will be the same as the color of the string.
xRef
double xRef
yRef
double yRef
changed
boolean changed
func
Function func
graphColor
java.awt.Color graphColor
changed
boolean changed
absoluteYmax
double absoluteYmax
onscreenymax
double onscreenymax
absoluteYmin
double absoluteYmin
onscreenymin
double onscreenymin
v
double[] v
case1
Cases case1
case2
Cases case2
gcol
java.awt.Color gcol
xsp
double xsp
ysp
double ysp
PIX_MAX
int PIX_MAX
PIX_MIN
int PIX_MIN
buttons
int buttons
- Set of installed buttons.
twoColumn
boolean twoColumn
- Use two columns for display, if possible.
xmin
VariableInput xmin
- The input boxes for the x- and y-value ranges.
xmax
VariableInput xmax
- The input boxes for the x- and y-value ranges.
ymin
VariableInput ymin
- The input boxes for the x- and y-value ranges.
ymax
VariableInput ymax
- The input boxes for the x- and y-value ranges.
serialNumber
long serialNumber
- This is increased when the user changes the limits.
(The -1 will make this LimitControlPanel get its limits
from the first CoordinateRect that is added to it.)
This variable is used to implement syncronization of limits
with the limits on CoordinateRects.
syncWith
Tie syncWith
- A Tie holding this panel and the CoordinateRects that it controls.
errorReporter
ErrorReporter errorReporter
- For reporting errors in user input.
coords
CoordinateRect coords
- The first CoordinateRect tied to this LimitControlPanel.
items
java.util.Vector<E> items
- Vector of components and component pairs that have
been added to this panel, including at least the xmin, xmax, ymin, ymax
input boxes.
listenForDrags
boolean listenForDrags
- If true, the MouseTracker responds to both clicks and drags.
If false, it responds only to clicks.
undefinedWhenNotDragging
boolean undefinedWhenNotDragging
- If true, the values of the associated variables are
undefined except during the time that the user is
clicking and dragging the mouse. This is ignored
if listenForDrags is false.
onUserAction
Controller onUserAction
- If this is non-null, then its compute() method is called
when the user clicks the mouse and, if listenForDrags is also
true, when the user drags and releases the mouse.
clampX
boolean clampX
- If thie is true, then the value of the variable associated with
the x-ccordinate of the mouse is clamped to lie within the
xmin and xmax of the coordinate rect.
clampY
boolean clampY
- If thie is true, then the value of the variable associated with
the y-ccordinate of the mouse is clamped to lie within the
ymin and ymax of the coordinate rect.
xVar
edu.hws.jcm.draw.MouseTracker.MTVariable xVar
yVar
edu.hws.jcm.draw.MouseTracker.MTVariable yVar
xClick
int xClick
yClick
int yClick
inRect
boolean inRect
modifiers
int modifiers
onUserAction
Controller onUserAction
onFinishDrag
Controller onFinishDrag
dragging
boolean dragging
prevX
int prevX
prevY
int prevY
xFunc
Function xFunc
yFunc
Function yFunc
graphColor
java.awt.Color graphColor
changed
boolean changed
tmin
Value tmin
tmax
Value tmax
intervals
Value intervals
tmin_val
double tmin_val
tmax_val
double tmax_val
intervals_val
int intervals_val
v
double[] v
case1x
Cases case1x
case2x
Cases case2x
case1y
Cases case1y
case2y
Cases case2y
case3x
Cases case3x
case3y
Cases case3y
points
java.util.Vector<E> points
rectHeights
double[] rectHeights
method
int method
color
java.awt.Color color
outlineColor
java.awt.Color outlineColor
endpointVals
double[] endpointVals
maxVals
double[] maxVals
minVals
double[] minVals
midpointVals
double[] midpointVals
intervalCount
Value intervalCount
func
Function func
deriv
Function deriv
sum
double[] sum
param
double[] param
changed
boolean changed
table
DataTableInput table
lastTableSN
long lastTableSN
autoChangeLimits
boolean autoChangeLimits
column1
int column1
column2
int column2
exp1
Expression exp1
exp2
Expression exp2
showRegressionLine
boolean showRegressionLine
missingValueIsError
boolean missingValueIsError
slope
double slope
intercept
double intercept
dataCt
int dataCt
missingCt
int missingCt
correlation
double correlation
standardError
double standardError
data
double[][] data
lineColor
java.awt.Color lineColor
dataColor
java.awt.Color dataColor
style
int style
xFunc
Function xFunc
yFunc
Function yFunc
graphColor
java.awt.Color graphColor
changed
boolean changed
pixelSpacing
int pixelSpacing
|
Package edu.hws.jcm.functions |
definition
Expression definition
params
Variable[] params
name
java.lang.String name
- The name of this MathObject, possibly null.
parensCanBeOptional
boolean parensCanBeOptional
name
java.lang.String name
style
int style
xCoords
double[] xCoords
yCoords
double[] yCoords
segments
edu.hws.jcm.functions.CubicSegment[] segments
pointCt
int pointCt
function
TableFunction function
showPoints
boolean showPoints
interactive
boolean interactive
onDrag
Computable onDrag
onFinishDrag
Computable onFinishDrag
color
java.awt.Color color
dragPoint
int dragPoint
startX
int startX
startY
int startY
prevY
int prevY
moved
boolean moved
xInput
VariableInput xInput
yInput
VariableInput yInput
canvas
DisplayCanvas canvas
pointList
java.awt.List pointList
clearButton
java.awt.Button clearButton
deleteButton
java.awt.Button deleteButton
addButton
java.awt.Button addButton
styleCheckbox
java.awt.Checkbox[] styleCheckbox
styleGroup
java.awt.CheckboxGroup styleGroup
onChange
Controller onChange
function
TableFunction function
editFunction
TableFunction editFunction
dragPoint
int dragPoint
startX
int startX
startY
int startY
prevY
int prevY
moved
boolean moved
func
Function func
params
double[] params
serialNumber
int serialNumber
derivativeOf
WrapperFunction derivativeOf
derivativeVar
Variable derivativeVar
derivativeIndex
int derivativeIndex
message
java.lang.String message
- This string contains a description of the error.
numberGenerator
java.util.Random numberGenerator
- Using a random number generator with the seed initialized using
the current system time in milliseconds.
|
Package generator.exceptions |
message
java.lang.String message
- This string contains a description of the error.
message
java.lang.String message
- This string contains a description of the error.
message
java.lang.String message
- This string contains a description of the error.
message
java.lang.String message
- This string contains a description of the error.
message
java.lang.String message
- This string contains a description of the error.
model
RandomizedModel model
- Reference to the RandomizedModel to modify.
- See Also:
RandomizedModel
L_Select
javax.swing.JLabel L_Select
CK_Point
javax.swing.JCheckBox CK_Point
CK_Uniform
javax.swing.JCheckBox CK_Uniform
CK_Normal
javax.swing.JCheckBox CK_Normal
CK_Exp
javax.swing.JCheckBox CK_Exp
CK_Log
javax.swing.JCheckBox CK_Log
B_Ok
javax.swing.JButton B_Ok
B_Cancel
javax.swing.JButton B_Cancel
PAN_Command
javax.swing.JPanel PAN_Command
PAN_Checkboxes
javax.swing.JPanel PAN_Checkboxes
gridLayout1
java.awt.GridLayout gridLayout1
gridLayout2
java.awt.GridLayout gridLayout2
PAN_OKCANCEL
javax.swing.JPanel PAN_OKCANCEL
borderLayout1
java.awt.BorderLayout borderLayout1
lastGeneratedFile
java.io.File lastGeneratedFile
- This contains the last succesfully generated file
engine
GeneratorEngine engine
- Reference to the generator's engine
listener
GeneratorEngineListener listener
- Contains the default listener for the generator
model
RandomizedModel model
- The generator will use this parameters set to generate the system.
L_Template
javax.swing.JLabel L_Template
B_Small
javax.swing.JButton B_Small
B_Medium
javax.swing.JButton B_Medium
B_Large
javax.swing.JButton B_Large
PAN_Template
javax.swing.JPanel PAN_Template
L_Command
javax.swing.JLabel L_Command
B_GenerateLMP
javax.swing.JButton B_GenerateLMP
B_Quit
javax.swing.JButton B_Quit
B_SelectFunctions
javax.swing.JButton B_SelectFunctions
B_GenerateFinite
javax.swing.JButton B_GenerateFinite
PAN_Commands
javax.swing.JPanel PAN_Commands
T_Message
javax.swing.JTextArea T_Message
B_NumberOfIntervals
javax.swing.JButton B_NumberOfIntervals
B_NumberOfActions
javax.swing.JButton B_NumberOfActions
B_TvsX
javax.swing.JButton B_TvsX
B_AvsX
javax.swing.JButton B_AvsX
B_P
javax.swing.JButton B_P
PAN_SetPrecision
javax.swing.JPanel PAN_SetPrecision
L_Decimals1
javax.swing.JLabel L_Decimals1
J_Precision
javax.swing.JSpinner J_Precision
L_Decimals2
javax.swing.JLabel L_Decimals2
PAN_SetTemplate
javax.swing.JPanel PAN_SetTemplate
flowLayout1
java.awt.FlowLayout flowLayout1
flowLayout2
java.awt.FlowLayout flowLayout2
PAN_LowerPart
javax.swing.JPanel PAN_LowerPart
PAN_UpperPart
javax.swing.JPanel PAN_UpperPart
gridLayout4
java.awt.GridLayout gridLayout4
PAN_Actions
javax.swing.JPanel PAN_Actions
borderLayout1
java.awt.BorderLayout borderLayout1
PAN_SetButtons
javax.swing.JPanel PAN_SetButtons
gridLayout3
java.awt.GridLayout gridLayout3
borderLayout2
java.awt.BorderLayout borderLayout2
flowLayout3
java.awt.FlowLayout flowLayout3
CK_NoCycle
javax.swing.JCheckBox CK_NoCycle
VERIFY_FORMULA
int VERIFY_FORMULA
- Formula verification trace constant
traceType
int traceType
- We shall display an adapted form of trace
trace
java.util.ArrayList<E> trace
- Contains the trace elements in order of evaluation
associations
java.util.ArrayList<E> associations
- This array associate the index of the formula in trace in order of
appearance in the formula, from left to right.
formula
Formula formula
- The formula evaluated
formulaTree
java.util.HashMap<K,V> formulaTree
- We will have to convert the formula to a tree
TPANE_Trace
javax.swing.JTabbedPane TPANE_Trace
PAN_VisualTrace
javax.swing.JPanel PAN_VisualTrace
SCR_VisualTrace
javax.swing.JScrollPane SCR_VisualTrace
SCR_TextualTrace
javax.swing.JScrollPane SCR_TextualTrace
TXT_TextualTrace
javax.swing.JTextArea TXT_TextualTrace
SCR_SortedTextualTrace
javax.swing.JScrollPane SCR_SortedTextualTrace
TXT_SortedTextualTrace
javax.swing.JTextArea TXT_SortedTextualTrace
gridLayout1
java.awt.GridLayout gridLayout1
enginReference
Engin enginReference
- Contient une référence à l'engin passé en paramètre
listener
FormulaDialogListener listener
- Contains a Formula Dialog listener
expressionValue
java.util.ArrayList<E> expressionValue
- Cet ensemble contient la valeur des expressions
expressionType
java.util.ArrayList<E> expressionType
- Cet ensemble contient le type des expressions
cursor
int cursor
- Détermine l'expression actuellement sélectionnée
actionList
java.util.ArrayList<E> actionList
- Sert à valider les formules
firstExpressionIndex
int firstExpressionIndex
- Permet de connaitre l'index du premier élément affiché dans
la barre de formule
flowLayout1
java.awt.FlowLayout flowLayout1
PAN_FormulaControl
javax.swing.JPanel PAN_FormulaControl
PAN_Operators
javax.swing.JPanel PAN_Operators
T_Formula
javax.swing.JTextPane T_Formula
B_Left
javax.swing.JButton B_Left
B_Right
javax.swing.JButton B_Right
PAN_Arrows
javax.swing.JPanel PAN_Arrows
borderLayout1
java.awt.BorderLayout borderLayout1
B_Validate
javax.swing.JButton B_Validate
B_Cancel
javax.swing.JButton B_Cancel
B_Manual
javax.swing.JButton B_Manual
PAN_Commands
javax.swing.JPanel PAN_Commands
gridLayout1
java.awt.GridLayout gridLayout1
PAN_Logic
javax.swing.JPanel PAN_Logic
B_And
javax.swing.JButton B_And
B_Or
javax.swing.JButton B_Or
B_Not
javax.swing.JButton B_Not
PAN_Parenthesis
javax.swing.JPanel PAN_Parenthesis
B_LeftParenthesis
javax.swing.JButton B_LeftParenthesis
B_RightParenthesis
javax.swing.JButton B_RightParenthesis
PAN_Transition
javax.swing.JPanel PAN_Transition
B_AddTransition
javax.swing.JButton B_AddTransition
CB_Actions
javax.swing.JComboBox CB_Actions
T_Probability
javax.swing.JTextField T_Probability
L_ProbabilityR
javax.swing.JLabel L_ProbabilityR
L_Action
javax.swing.JLabel L_Action
L_Execute
javax.swing.JLabel L_Execute
PAN_Action
javax.swing.JPanel PAN_Action
PAN_Probability
javax.swing.JPanel PAN_Probability
gridLayout2
java.awt.GridLayout gridLayout2
B_Terminator
javax.swing.JButton B_Terminator
J_Remove
javax.swing.JButton J_Remove
flowLayout2
java.awt.FlowLayout flowLayout2
PAN_Validation
javax.swing.JPanel PAN_Validation
B_InitialState
javax.swing.JButton B_InitialState
B_AllStates
javax.swing.JToggleButton B_AllStates
|
Class ui.FormulaTree extends javax.swing.JPanel implements Serializable |
formula
Formula formula
- Contains the formula to build a tree from
formulaTree
java.util.HashMap<K,V> formulaTree
- Associate subformulas with labels
|
Class ui.MainFrame extends javax.swing.JFrame implements Serializable |
panCentre
javax.swing.JSplitPane panCentre
panBas
javax.swing.JSplitPane panBas
panTrans
javax.swing.JPanel panTrans
panFor
javax.swing.JPanel panFor
panSystem
javax.swing.JPanel panSystem
formula
javax.swing.JLabel formula
system
javax.swing.JLabel system
transition
javax.swing.JLabel transition
listModel
javax.swing.DefaultListModel listModel
- This list will contain the system's transitions
lstTransitions
javax.swing.JList lstTransitions
listModelFormula
javax.swing.DefaultListModel listModelFormula
- This list will contain an history of the used formulas
lstFormula
javax.swing.JList lstFormula
oldFormula
java.lang.String oldFormula
addFormula
boolean addFormula
txtSystem
javax.swing.JTextArea txtSystem
scrSystem
javax.swing.JScrollPane scrSystem
indexXSet
int indexXSet
indexYSet
int indexYSet
indexActionList
int indexActionList
engin
Engin engin
- An engine will be needed to execute the commands. We will also
instanciate a progress bar that will be used by the engine during
long operations.
progress
ProgressDialog progress
barre
javax.swing.JMenuBar barre
menuFichier
javax.swing.JMenu menuFichier
optionLoadSystem
javax.swing.JMenuItem optionLoadSystem
optionSaveSystem
javax.swing.JMenuItem optionSaveSystem
optionSaveFormula
javax.swing.JMenuItem optionSaveFormula
optionLoadFormula
javax.swing.JMenuItem optionLoadFormula
optionQuitter
javax.swing.JMenuItem optionQuitter
menuSystem
javax.swing.JMenu menuSystem
optionNewSystem
javax.swing.JMenuItem optionNewSystem
optionLmpConstraint
javax.swing.JMenuItem optionLmpConstraint
optionGenerateSystem
javax.swing.JMenuItem optionGenerateSystem
optionRefreshSystem
javax.swing.JMenuItem optionRefreshSystem
optionAddAtomicProposition
javax.swing.JMenuItem optionAddAtomicProposition
optionModifyAtomicProposition
javax.swing.JMenuItem optionModifyAtomicProposition
optionRemoveAtomicProposition
javax.swing.JMenuItem optionRemoveAtomicProposition
menuTransition
javax.swing.JMenu menuTransition
optionAddTransition
javax.swing.JMenuItem optionAddTransition
optionModifier
javax.swing.JMenuItem optionModifier
optionDelTransition
javax.swing.JMenuItem optionDelTransition
menuFormula
javax.swing.JMenu menuFormula
optionVerifyFormula
javax.swing.JMenuItem optionVerifyFormula
optionModifyFormula
javax.swing.JMenuItem optionModifyFormula
optionDelFormula
javax.swing.JMenuItem optionDelFormula
menuOption
javax.swing.JMenu menuOption
optionOption
javax.swing.JMenuItem optionOption
lblCalculs
javax.swing.JLabel lblCalculs
lblMtbdd
javax.swing.JLabel lblMtbdd
btnDouble
javax.swing.JRadioButton btnDouble
btnBigDecimal
javax.swing.JRadioButton btnBigDecimal
btnMtbdd
javax.swing.JCheckBox btnMtbdd
lblPrecision
javax.swing.JLabel lblPrecision
txtPrecision
javax.swing.JTextField txtPrecision
lblSegmentation
javax.swing.JLabel lblSegmentation
txtSegmentation
javax.swing.JTextField txtSegmentation
lblNbIteration
javax.swing.JLabel lblNbIteration
txtNbIteration
javax.swing.JTextField txtNbIteration
btnOk
javax.swing.JButton btnOk
btnCancel
javax.swing.JButton btnCancel
hasChanged
boolean hasChanged
- If data has been validated (Ok button), this will be true.
precision
double precision
- Smallest unit of the numbers
segmentation
int segmentation
- Number of segments to divide intervals to find zeroes
nbIteration
int nbIteration
- Number of iterations before finding zeroes
calculationMode
int calculationMode
- Type of number to use ... eigther Engin.USE_DOUBLE or Engin.USE_BIGDECIMAL
- See Also:
Engin
structMode
int structMode
- Structures to use ... eigther Engin.USE_HASH or Engin.USE_MTBDD
cancelAction
boolean cancelAction
- If true, the current operation should be cancelled
borderLayout1
java.awt.BorderLayout borderLayout1
P_Progress
javax.swing.JProgressBar P_Progress
L_PleaseWait
javax.swing.JLabel L_PleaseWait
shouldStop
boolean shouldStop
- If true, the dialog will be destroyed at the next blinker update
action
java.lang.String action
- Represents the text that will printed over the progress bar
value
int value
- Current number of work units done
maxValue
int maxValue
- Total number of work units
elapsedTime
long elapsedTime
- Elapsed time from the beginning of the work
lastUpdateTime
long lastUpdateTime
- Represents the time of the work's beginning
estimatedTime
long estimatedTime
- Represents the estimated time left
B_Cancel
javax.swing.JToggleButton B_Cancel
PAN_Message
javax.swing.JPanel PAN_Message
PAN_Wait
javax.swing.JPanel PAN_Wait
PAN_Cancel
javax.swing.JPanel PAN_Cancel
L_PlaceHolder1
javax.swing.JLabel L_PlaceHolder1
gridLayout1
java.awt.GridLayout gridLayout1
lblStates
javax.swing.JLabel lblStates
lblInitialState
javax.swing.JLabel lblInitialState
lblAP
javax.swing.JLabel lblAP
lblAction
javax.swing.JLabel lblAction
txtStates
javax.swing.JTextField txtStates
txtInitialState
javax.swing.JTextField txtInitialState
txtAction
javax.swing.JTextField txtAction
btnAP
javax.swing.JButton btnAP
btnOk
javax.swing.JButton btnOk
btnCancel
javax.swing.JButton btnCancel
apStates
java.util.HashMap<K,V> apStates
- This table associate a set of states with every atomic proposition.
hasChanged
boolean hasChanged
- If the values have been validated (Ok button) this will be true.
lblStartingStates
javax.swing.JLabel lblStartingStates
lblEndingStates
javax.swing.JLabel lblEndingStates
lblExpression
javax.swing.JLabel lblExpression
lblAction
javax.swing.JLabel lblAction
txtStartingStates
javax.swing.JComboBox txtStartingStates
txtEndingStates
javax.swing.JComboBox txtEndingStates
txtStarting
javax.swing.JTextField txtStarting
txtEnding
javax.swing.JTextField txtEnding
txtAct
javax.swing.JTextField txtAct
txtExpression
javax.swing.JTextField txtExpression
txtExpressionAdd
javax.swing.JComboBox txtExpressionAdd
txtAction
javax.swing.JComboBox txtAction
btnOk
javax.swing.JButton btnOk
btnCancel
javax.swing.JButton btnCancel
hasChanged
boolean hasChanged
- If the values have been validated (Ok button), this will be set to true.
transition
Transition transition
- In order to validate the input values, a transition objet will be used.
startingStates
java.util.ArrayList<E> startingStates
- Contains the starting states of the probabilistic system loaded
endingStates
java.util.ArrayList<E> endingStates
- Contains the ending states of the probabilistic system loaded
expressions
java.util.ArrayList<E> expressions
- Contains the expressions set of the system loaded
actions
java.util.ArrayList<E> actions
- Contains all the actions of the system
actions
java.util.ArrayList<E> actions
label
java.lang.String label
states
IntervalList states
initialState
double initialState
stateSpace
IntervalList stateSpace