Serialized Form


Package savi.alg.funcmin

Class savi.alg.funcmin.ViewFunctionMin extends VisualizationPanel implements Serializable


Package savi.alg.knapsack

Class savi.alg.knapsack.ViewKnapsack extends VisualizationPanel implements Serializable

Serialized Fields

itmList

Items itmList
reference to list of items


pane

java.awt.ScrollPane pane
scrollable panel for list


draw

savi.alg.knapsack.ViewKnapsack.KnapsackListCanvas draw
drawer for list of items


Package savi.alg.maxsat3

Class savi.alg.maxsat3.ViewMaxSAT3 extends VisualizationPanel implements Serializable

Serialized Fields

formula

Formula formula

pane

java.awt.ScrollPane pane

draw

savi.alg.maxsat3.ViewMaxSAT3.WSatListCanvas draw

varsPane

java.awt.ScrollPane varsPane

varsDraw

savi.alg.maxsat3.ViewMaxSAT3.WSatVariableListCanvas varsDraw

Package savi.alg.sat3

Class savi.alg.sat3.WrongFormulaException extends java.lang.Exception implements Serializable

Class savi.alg.sat3.WrongInputFormulaData extends java.lang.Exception implements Serializable


Package savi.alg.tsp

Class savi.alg.tsp.ViewTSP extends VisualizationPanel implements Serializable

Serialized Fields

editMode

boolean editMode

clickList

java.util.Vector<E> clickList

Package savi.alg.weighsat3

Class savi.alg.weighsat3.ViewWeightedSAT3 extends VisualizationPanel implements Serializable

Serialized Fields

formula

Formula formula

pane

java.awt.ScrollPane pane

draw

savi.alg.weighsat3.ViewWeightedSAT3.WSatListCanvas draw

varsPane

java.awt.ScrollPane varsPane

varsDraw

savi.alg.weighsat3.ViewWeightedSAT3.WSatVariableListCanvas varsDraw

Package savi.dialogs

Class savi.dialogs.SaviCommonDialog extends SaviDialogSkeleton implements Serializable

Serialized Fields

okPressed

boolean okPressed

ok

java.awt.Button ok

can

java.awt.Button can

pan

java.awt.Panel pan

content

java.awt.Panel content
content of dialog

Class savi.dialogs.SaviDialog extends SaviDialogSkeleton implements Serializable

Serialized Fields

okPressed

boolean okPressed

ok

java.awt.Button ok

can

java.awt.Button can

pan

java.awt.Panel pan

inputRows

int inputRows

Class savi.dialogs.SaviDialogSkeleton extends java.awt.Dialog implements Serializable

Class savi.dialogs.SaviErrorMessage extends SaviMessageBox implements Serializable

Class savi.dialogs.SaviMessageBox extends SaviDialogSkeleton implements Serializable

Serialized Fields

ok

java.awt.Button ok

msg

java.awt.Label msg

Class savi.dialogs.SaviUrlDialog extends SaviDialogSkeleton implements Serializable

Serialized Fields

okPressed

boolean okPressed

fieldURL

java.awt.TextField fieldURL

ok

java.awt.Button ok

can

java.awt.Button can

Package savi.visualization

Class savi.visualization.SimAnnealingApplet extends java.applet.Applet implements Serializable

Serialized Fields

taskChooser

java.awt.Choice taskChooser

tasks

java.util.ArrayList<E> tasks

choiceAccept

java.awt.Button choiceAccept

inner

java.awt.Component inner

Package savi.visualization.addons

Class savi.visualization.addons.FunctionMin extends SimPanel implements Serializable

Serialized Fields

lbCost

java.awt.Label lbCost

lbWeight

java.awt.Label lbWeight

Class savi.visualization.addons.Intro extends TaskPanel implements Serializable

Serialized Fields

switcher

java.awt.Panel switcher
panel with switchers


images

java.util.ArrayList<E> images
list of help images


buttons

java.util.ArrayList<E> buttons
switchers


actualPage

int actualPage
index to current page

Class savi.visualization.addons.Knapsack extends SimPanel implements Serializable

Serialized Fields

items

Items items

lbWeight

java.awt.Label lbWeight

lbCost

java.awt.Label lbCost

lbItemsCount

java.awt.Label lbItemsCount

tfCapacity

java.awt.TextField tfCapacity

Class savi.visualization.addons.MaxSAT3 extends SimPanel implements Serializable

Serialized Fields

formula

Formula formula

lbSatisfy

java.awt.Label lbSatisfy

lbCntSatisfact

java.awt.Label lbCntSatisfact

lbCntClauses

java.awt.Label lbCntClauses

Class savi.visualization.addons.TSP extends SimPanel implements Serializable

Serialized Fields

cities

Cities cities

lbLength

java.awt.Label lbLength

lbCitiesCount

java.awt.Label lbCitiesCount

Class savi.visualization.addons.WeightedSAT3 extends SimPanel implements Serializable

Serialized Fields

formula

WeightedFormula formula

lbSatisfy

java.awt.Label lbSatisfy

lbCntSatisfact

java.awt.Label lbCntSatisfact

lbCntClauses

java.awt.Label lbCntClauses

lbWeight

java.awt.Label lbWeight

Package savi.visualization.support

Class savi.visualization.support.SimPanel extends TaskPanel implements Serializable

Serialized Fields

tfFinalTemp

java.awt.TextField tfFinalTemp

tfStartTemp

java.awt.TextField tfStartTemp

tfCoolFact

java.awt.TextField tfCoolFact

tfInnerLoop

java.awt.TextField tfInnerLoop

tfSteps

java.awt.TextField tfSteps

btRun

java.awt.Button btRun

btStep

java.awt.Button btStep

btFinish

java.awt.Button btFinish

btGenerate

java.awt.Button btGenerate

btFindTemp

java.awt.Button btFindTemp

lbTemp

java.awt.Label lbTemp

sbSpeed

java.awt.Scrollbar sbSpeed

chbCurrentSolution

java.awt.Checkbox chbCurrentSolution

chbBestSolution

java.awt.Checkbox chbBestSolution

chbViewGraph

StateButton chbViewGraph

chbViewScreen

StateButton chbViewScreen

chbViewInfo

StateButton chbViewInfo

simState

savi.visualization.support.SimPanel.STATE simState

settings

java.awt.Panel settings
panel with settings controls


ide

java.awt.Panel ide
control environment panel


isRunning

boolean isRunning
signalizes running of algorithm


runThread

java.lang.Thread runThread
run thread reference


state

StateSkeleton state
state of problem


screen

VisualizationPanel screen
palace for visualization panel


bestScreen

VisualizationPanel bestScreen
panel for vizualization best solution


graph

VisualizationGraph graph
graph visualization panel


infoPanel

VisualizationInfo infoPanel
help panel


alg

SimAnnealingStepSolver alg
algorithm


bestState

StateSkeleton bestState
best founded state


viewCurrent

boolean viewCurrent
signalizes vizualization visiblity of current or best state


startTemp

double startTemp

finalTemp

double finalTemp

coolingCoef

double coolingCoef

innerLoops

int innerLoops

Class savi.visualization.support.StateButton extends java.awt.Label implements Serializable

Serialized Fields

text

java.lang.String text
text on button


lblText

java.awt.Label lblText
label for text


raised

boolean raised
state of button

Class savi.visualization.support.TaskPanel extends java.awt.Panel implements Serializable

Class savi.visualization.support.VisualizationGraph extends java.awt.Panel implements Serializable

Serialized Fields

optCritValues

double[] optCritValues
list of y-values


valCount

int valCount
number of y-values


fontText

java.awt.Font fontText

fontCaption

java.awt.Font fontCaption

fontValues

java.awt.Font fontValues

buffImage

java.awt.Image buffImage

offscreen

java.awt.Graphics offscreen

imgWidth

int imgWidth

imgHeight

int imgHeight

initDone

boolean initDone

Class savi.visualization.support.VisualizationInfo extends java.awt.Panel implements Serializable

Serialized Fields

switcher

java.awt.Panel switcher
panel with components for switching


images

java.util.ArrayList<E> images
list of help images


pageNames

java.util.ArrayList<E> pageNames
list of pages names


activeTab

int activeTab
index of active page


chItems

java.awt.Choice chItems

Class savi.visualization.support.VisualizationPanel extends java.awt.Panel implements Serializable

Serialized Fields

state

StateSkeleton state
problem state