Serialized Form
Package edu.toronto.cs.beans |
propertySheet
ModelCompilerPropertySheet propertySheet
okPressed
boolean okPressed
bean
ModelCompiler bean
beanDescriptor
java.beans.BeanDescriptor beanDescriptor
beanInfo
java.beans.BeanInfo beanInfo
properties
java.util.Map<K,V> properties
propNames
java.util.Map<K,V> propNames
helpArea
javax.swing.JTextArea helpArea
propertyEditorPanel
javax.swing.JPanel propertyEditorPanel
activeEditor
java.awt.Component activeEditor
Package edu.toronto.cs.ctl.antlr |
Package edu.toronto.cs.gui |
gp
GrappaPanel gp
graph
Graph graph
layout
javax.swing.JButton layout
printer
javax.swing.JButton printer
draw
javax.swing.JButton draw
quit
javax.swing.JButton quit
panel
javax.swing.JPanel panel
image
java.awt.Image image
label
javax.swing.JLabel label
inputfield
javax.swing.JComboBox inputfield
run
javax.swing.JButton run
keg
javax.swing.JCheckBox keg
trace
javax.swing.JButton trace
traceviewer
XCTraceViewer traceviewer
variablelist
edu.toronto.cs.gui.InputPanel.VarList variablelist
proofStep
ProofStep proofStep
statePresenter
StatePresenter statePresenter
layoutPath
java.lang.String layoutPath
kegTree
javax.swing.JTree kegTree
stateView
javax.swing.JList stateView
tabs
javax.swing.JTabbedPane tabs
fair
javax.swing.JPanel fair
macro
javax.swing.JPanel macro
fair_chk
javax.swing.JCheckBox fair_chk
fair_use_cond
javax.swing.JLabel fair_use_cond
fair_all
javax.swing.JRadioButton fair_all
fair_some
javax.swing.JRadioButton fair_some
fair_opts
javax.swing.ButtonGroup fair_opts
fair_list
javax.swing.JList fair_list
fair_scroll
javax.swing.JScrollPane fair_scroll
fair_add
javax.swing.JButton fair_add
fair_edit
javax.swing.JButton fair_edit
fair_remove
javax.swing.JButton fair_remove
fair_buttons
javax.swing.JPanel fair_buttons
fair_select
javax.swing.JPanel fair_select
selection
int[] selection
macro_label1
javax.swing.JLabel macro_label1
macro_list
javax.swing.JList macro_list
macro_scroll
javax.swing.JScrollPane macro_scroll
macro_label2
javax.swing.JLabel macro_label2
macro_exp
javax.swing.JTextArea macro_exp
macro_exp_scroll
javax.swing.JScrollPane macro_exp_scroll
macro_add
javax.swing.JButton macro_add
macro_edit
javax.swing.JButton macro_edit
macro_remove
javax.swing.JButton macro_remove
macro_buttons
javax.swing.JPanel macro_buttons
output
javax.swing.JTextPane output
styledPrinter
StyledDocumentPrinter styledPrinter
scroll
javax.swing.JScrollPane scroll
proofStep
ProofStep proofStep
statePresenter
StatePresenter statePresenter
tree
javax.swing.JTree tree
stateView
javax.swing.JList stateView
mc
MvSetModelChecker mc
count
int count
countLevel
int countLevel
finalCount
int finalCount
level
int level
index
int index
expand
boolean expand
hashMap
java.util.HashMap<K,V> hashMap
name
java.lang.String name
expandNode
boolean expandNode
levelList
java.util.List<E> levelList
treeNodeList
java.util.List<E> treeNodeList
listTreeNode
java.util.List<E> listTreeNode
choiceToExpand
javax.swing.JComboBox choiceToExpand
top1
javax.swing.tree.DefaultMutableTreeNode top1
ctlin
InputPanel ctlin
output
OutputPanel output
optionspanel
OptionsPanel optionspanel
menu
XChekMenuBar menu
toolbar
XChekToolbar toolbar
traceviewer
XCTraceViewer traceviewer
modelName
java.lang.String modelName
actionMap
javax.swing.ActionMap actionMap
options
java.util.Map<K,V> options
currentDir
java.io.File currentDir
filechooser
javax.swing.JFileChooser filechooser
closeModelChain
UserActChain closeModelChain
quitActionChain
UserActChain quitActionChain
loadModelChain
UserActChain loadModelChain
compiler
ModelCompiler compiler
xkripke
XKripkeStructure xkripke
ctlReWriters
java.util.List<E> ctlReWriters
modelChecker
MvSetModelChecker modelChecker
phReWriter
PlaceholderReWriter phReWriter
upsetPhReWriter
MvSetPlaceholderReWriter upsetPhReWriter
openXMLIcon
java.net.URL openXMLIcon
openBDDIcon
java.net.URL openBDDIcon
loadFairnessIcon
java.net.URL loadFairnessIcon
saveFairnessIcon
java.net.URL saveFairnessIcon
loadCTLIcon
java.net.URL loadCTLIcon
saveCTLIcon
java.net.URL saveCTLIcon
quitIcon
java.net.URL quitIcon
modelInfoIcon
java.net.URL modelInfoIcon
latticeIcon
java.net.URL latticeIcon
varIcon
java.net.URL varIcon
preferencesIcon
java.net.URL preferencesIcon
file
javax.swing.JMenu file
model
javax.swing.JMenu model
fairness
javax.swing.JMenu fairness
ctlHistory
javax.swing.JMenu ctlHistory
help
javax.swing.JMenu help
openModel
javax.swing.JMenuItem openModel
editPrefs
javax.swing.JMenuItem editPrefs
loadFairness
javax.swing.JMenuItem loadFairness
saveFairness
javax.swing.JMenuItem saveFairness
loadCTL
javax.swing.JMenuItem loadCTL
saveCTL
javax.swing.JMenuItem saveCTL
quit
javax.swing.JMenuItem quit
modelInfo
javax.swing.JMenuItem modelInfo
showVariables
javax.swing.JMenuItem showVariables
helpItem
javax.swing.JMenuItem helpItem
about
javax.swing.JMenuItem about
open
javax.swing.JButton open
loadFairness
javax.swing.JButton loadFairness
saveFairness
javax.swing.JButton saveFairness
loadCTL
javax.swing.JButton loadCTL
saveCTL
javax.swing.JButton saveCTL
showAlgebra
javax.swing.JButton showAlgebra
openPrefs
javax.swing.JButton openPrefs
quit
javax.swing.JButton quit
list
javax.swing.JList list
listModel
javax.swing.DefaultListModel listModel
listScroller
javax.swing.JScrollPane listScroller
buttonsPanel
javax.swing.JPanel buttonsPanel
listPanel
javax.swing.JPanel listPanel
okBut
javax.swing.JButton okBut
importBut
javax.swing.JButton importBut
exportBut
javax.swing.JButton exportBut
closeBut
javax.swing.JButton closeBut
currentIndex
int currentIndex
currentPreference
XPreferences currentPreference
Package edu.toronto.cs.proof2 |
Package edu.toronto.cs.simulator |
enabled
javax.swing.JCheckBox enabled
dummy
javax.swing.JToggleButton dummy
user
javax.swing.JToggleButton user
script
javax.swing.JToggleButton script
props
java.util.Vector<E> props
steps
java.util.Vector<E> steps
currSimStepIndex
int currSimStepIndex
currSimStep
edu.toronto.cs.simulator.SimStep currSimStep
stepdisplay
javax.swing.JSpinner stepdisplay
stepcounter
javax.swing.SpinnerNumberModel stepcounter
tree
XCTraceTree tree
filechooser
javax.swing.JFileChooser filechooser
load
javax.swing.JButton load
save
javax.swing.JButton save
run
javax.swing.JButton run
apply
javax.swing.JButton apply
runAction
javax.swing.Action runAction
script
javax.swing.JTextArea script
vars
javax.swing.JList vars
tree
XCTraceTree tree
namelabel
javax.swing.JLabel namelabel
translabel
javax.swing.JLabel translabel
varlabel
javax.swing.JLabel varlabel
name
javax.swing.JTextField name
trans
javax.swing.JTextField trans
vars
VariablePanel vars
tree
XCTraceTree tree
goodcond
javax.swing.JButton goodcond
badcond
javax.swing.JButton badcond
breakcond
javax.swing.JButton breakcond
tree
javax.swing.JTree tree
treemodel
XCTraceTree treemodel
popupmenu
javax.swing.JPopupMenu popupmenu
ctlfalse
CTLNode ctlfalse
ctltrue
CTLNode ctltrue
step
javax.swing.Action step
split
javax.swing.Action split
remove
javax.swing.Action remove
run
javax.swing.Action run
infochanged
javax.swing.Action infochanged
load
javax.swing.Action load
sim
XCSimulator sim
mc
MvSetModelChecker mc
desiredcond
javax.swing.JTextField desiredcond
ignoredcond
javax.swing.JTextField ignoredcond
currstep
int currstep
maxstep
int maxstep
stepcond
CTLNode stepcond
elsecond
CTLNode elsecond
breakcond
java.util.Vector<E> breakcond
ctltrue
CTLNode ctltrue
ctlfalse
CTLNode ctlfalse
toolbar
TraceToolBar toolbar
treebrowser
TraceTreeBrowser treebrowser
conditionpanel
ConditionPanel conditionpanel
stateinfo
StateInfoPanel stateinfo
dummysim
DummySimulator dummysim
usersim
UserSimulator usersim
scriptsim
FileSimulator scriptsim
sim
XCSimulator sim
mc
MvSetModelChecker mc
actionMap
javax.swing.ActionMap actionMap
prompt
boolean prompt
ctltrue
CTLNode ctltrue
ctlfalse
CTLNode ctlfalse
Package edu.toronto.cs.smv.parser |
enm
boolean enm
values
java.util.List<E> values
Package edu.toronto.cs.util |
listSizes
java.util.List<E> listSizes
nested
java.lang.Throwable nested
nested
java.lang.Throwable nested
ex
java.lang.Exception ex
ex
java.lang.Exception ex
queue
java.lang.ref.ReferenceQueue<T> queue
- The reference queue where our buckets (which are WeakReferences) are
registered to.
size
int size
- The number of entries in this hash map.
loadFactor
float loadFactor
- The load factor of this WeakHashMap. This is the maximum ratio of
size versus number of buckets. If size grows the number of buckets
must grow, too.
threshold
int threshold
- The rounded product of the capacity (i.e. number of buckets) and
the load factor. When the number of elements exceeds the
threshold, the HashMap calls
rehash()
.
modCount
int modCount
- The number of structural modifications. This is used by
iterators, to see if they should fail. This doesn't count
the silent key removals, when a weak reference is cleared
by the garbage collection. Instead the iterators must make
sure to have strong references to the entries they rely on.
theEntrySet
edu.toronto.cs.util.SoftHashMap.SoftEntrySet theEntrySet
- The entry set returned by
entrySet()
.
buckets
edu.toronto.cs.util.SoftHashMap.SoftBucket[] buckets
- The hash buckets. These are linked lists. Package visible for use in
nested classes.
queue
java.lang.ref.ReferenceQueue<T> queue
immanence
boolean immanence
passed
boolean passed
autoreset
boolean autoreset
name
java.lang.String name
next
UserActChain next
act
javax.swing.Action act
imm
boolean imm
wrapper
boolean wrapper
Package edu.toronto.cs.util.gui |
filenameFld
javax.swing.JTextField filenameFld
dir
java.lang.String dir
filechooser
javax.swing.JFileChooser filechooser
title
java.lang.String title