Commit 96832ae7 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

Adding control setting to change ILP and CNF SAT minimization Objective from...

Adding control setting to change ILP and CNF SAT minimization Objective from MAX Client to Client Info Leak to SUM Client to Client Info Leak
parent f72281e6
...@@ -234,6 +234,12 @@ public class VagabondSettings { ...@@ -234,6 +234,12 @@ public class VagabondSettings {
*/ */
public long numberOfSecondsSolverCanRunPerEpoch = 0; public long numberOfSecondsSolverCanRunPerEpoch = 0;
/**
* <b>TRUE</b> - ILP and CNF SAT will optimize/minimize for the Maximum Client to Client Information Leak;
* <b>FASLE</b> - ILP and CNF SAT will optimize/minimize for the Total/Summation Client to Client Information Leak.
*/
public boolean minimizeMaxClientToClientInfoLeak = false;
// ################################################################ // ################################################################
// FUNCTIONS // FUNCTIONS
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment