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
W
WeightedFormula
- Class in
savi.alg.weighsat3
Class representing boolean formula with weights.
WeightedFormula(int, int)
- Constructor for class savi.alg.weighsat3.
WeightedFormula
Creates a new instance of WeightedFormula, create random formula with weights
WeightedFormula(BufferedReader)
- Constructor for class savi.alg.weighsat3.
WeightedFormula
Creates a new instance of WeightedFormula, read content from stream.
WeightedSAT3
- Class in
savi.visualization.addons
Visualization add-on for MAX-WEIGHTED-3-SAT problem.
WeightedSAT3()
- Constructor for class savi.visualization.addons.
WeightedSAT3
Creates a new instance of Knapsack
weightSatRatio
- Static variable in class savi.alg.weighsat3.
StateWSAT3
current weight
windowActivated(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Not used for this class.
windowClosed(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Not used for this class.
windowClosing(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Capturing "X" close button press.
windowDeactivated(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Not used for this class.
windowDeiconified(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Not used for this class.
windowIconified(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Not used for this class.
windowOpened(WindowEvent)
- Method in class savi.dialogs.
SaviDialogSkeleton
Not used for this class.
WrongFormulaException
- Exception in
savi.alg.sat3
Signals wrong formula generation.
WrongFormulaException()
- Constructor for exception savi.alg.sat3.
WrongFormulaException
Creates a new instance of WrongFormulaException
WrongInputFormulaData
- Exception in
savi.alg.sat3
Signals that a syntax error occurred in the stream.
WrongInputFormulaData()
- Constructor for exception savi.alg.sat3.
WrongInputFormulaData
Creates a new instance of WrongInputFormulaData
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