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
 

A B C D E F G H I K L M N O P R S T U V W X