Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
V
valCount
- Variable in class savi.visualization.support.
VisualizationGraph
number of y-values
valueOf(String)
- Static method in enum savi.alg.
SimAnnealingStepSolver.Steps
Returns the enum constant of this type with the specified name.
values()
- Static method in enum savi.alg.
SimAnnealingStepSolver.Steps
Returns an array containing the constants of this enum type, in the order they're declared.
varsCount
- Variable in class savi.alg.sat3.
Formula
number of variables in formula
varsCount()
- Method in class savi.alg.sat3.
Formula
Return count of variables.
varsIndex
- Variable in class savi.alg.sat3.
Clause
list of variables index
varsNegation
- Variable in class savi.alg.sat3.
Clause
array of negation for variables
varValues
- Variable in class savi.alg.maxsat3.
StateMaxSAT3
current variables values
varValues
- Variable in class savi.alg.weighsat3.
StateWSAT3
current variables assignment
varWeights
- Variable in class savi.alg.weighsat3.
WeightedFormula
list of weights
viewCurrent
- Variable in class savi.visualization.support.
SimPanel
signalizes vizualization visiblity of current or best state
ViewFunctionMin
- Class in
savi.alg.funcmin
Visualization panel class for Finding global minimum problem
ViewFunctionMin()
- Constructor for class savi.alg.funcmin.
ViewFunctionMin
Basic contructor
ViewFunctionMin(StateSkeleton)
- Constructor for class savi.alg.funcmin.
ViewFunctionMin
Constructor for state initializing.
ViewKnapsack
- Class in
savi.alg.knapsack
Visualization panel class for knapsack problem.
ViewKnapsack()
- Constructor for class savi.alg.knapsack.
ViewKnapsack
Creates a new instance of ViewKnapsack.
ViewKnapsack(StateSkeleton)
- Constructor for class savi.alg.knapsack.
ViewKnapsack
Creates a new instance of ViewKnapsack.
ViewMaxSAT3
- Class in
savi.alg.maxsat3
Visualization panel for Max-3-SAT problem.
ViewMaxSAT3()
- Constructor for class savi.alg.maxsat3.
ViewMaxSAT3
Creates a new instance of ViewMaxSAT3.
ViewMaxSAT3(StateSkeleton)
- Constructor for class savi.alg.maxsat3.
ViewMaxSAT3
Creates a new instance of ViewMaxSAT3, initialize internal state.
ViewTSP
- Class in
savi.alg.tsp
Visualization panel for TSP (traveling salesman problem).
ViewTSP()
- Constructor for class savi.alg.tsp.
ViewTSP
Creates a new instance of ViewTSP
ViewTSP(StateSkeleton)
- Constructor for class savi.alg.tsp.
ViewTSP
Creates a new instance of ViewTSP, initialize state.
ViewWeightedSAT3
- Class in
savi.alg.weighsat3
Visualization panel for MAX-WEIGHTED-3-SAT problem.
ViewWeightedSAT3()
- Constructor for class savi.alg.weighsat3.
ViewWeightedSAT3
Creates a new instance of Viewweighted3SAT.
ViewWeightedSAT3(StateSkeleton)
- Constructor for class savi.alg.weighsat3.
ViewWeightedSAT3
Creates a new instance of Viewweighted3SAT and initialize state.
VisualizationGraph
- Class in
savi.visualization.support
Provides graph visualization.
VisualizationGraph()
- Constructor for class savi.visualization.support.
VisualizationGraph
Creates a new instance of VisualizationGraph
VisualizationInfo
- Class in
savi.visualization.support
This class provides help viewer (vizualization).
VisualizationInfo()
- Constructor for class savi.visualization.support.
VisualizationInfo
Creates a new instance of VisualizationInfo
VisualizationPanel
- Class in
savi.visualization.support
Base class for visualization panels.
VisualizationPanel()
- Constructor for class savi.visualization.support.
VisualizationPanel
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X