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

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