Uses of Class
com.knezevic.edaf.v3.problems.discrete.disjunct.DisjunctMatrixValidationOptions

Packages that use DisjunctMatrixValidationOptions

Package	Description
com.knezevic.edaf.v3.problems.discrete.disjunct

Uses of DisjunctMatrixValidationOptions in com.knezevic.edaf.v3.problems.discrete.disjunct

Methods in com.knezevic.edaf.v3.problems.discrete.disjunct that return DisjunctMatrixValidationOptions

Modifier and Type	Method	Description
static DisjunctMatrixValidationOptions	DisjunctMatrixValidationOptions.defaults()	Reasonable defaults for practical validation: exact for up to 200k subsets, otherwise sample via Hoeffding target.

Methods in com.knezevic.edaf.v3.problems.discrete.disjunct with parameters of type DisjunctMatrixValidationOptions

Modifier and Type	Method	Description
static DisjunctMatrixValidationResult	DisjunctMatrixValidator.validateAlmostDisjunct(DisjunctMatrix matrix, int t, double epsilon, DisjunctMatrixValidationOptions options)	Validates (t,epsilon)-disjunct (ADM) property: for every t-subset S, delta(S)/(N-t) invalid input: '<'= epsilon.
static DisjunctMatrixValidationResult	DisjunctMatrixValidator.validateAlmostDisjunct(BitString genotype, int m, int n, int t, double epsilon, DisjunctMatrixValidationOptions options)	Bitstring convenience overload for (t,epsilon)-disjunct validation.
static DisjunctMatrixValidationResult	DisjunctMatrixValidator.validateDisjunct(DisjunctMatrix matrix, int t, DisjunctMatrixValidationOptions options)	Validates t-disjunct property: for every t-subset S and every remaining column x_j, supp(x_j) is not subset of union supports of S.
static DisjunctMatrixValidationResult	DisjunctMatrixValidator.validateDisjunct(BitString genotype, int m, int n, int t, DisjunctMatrixValidationOptions options)	Bitstring convenience overload for t-disjunct validation.
static DisjunctMatrixValidationResult	DisjunctMatrixValidator.validateResolvable(DisjunctMatrix matrix, int t, int f, DisjunctMatrixValidationOptions options)	Validates (t,f)-resolvable property: for every t-subset S, delta(S) invalid input: '<'= f.
static DisjunctMatrixValidationResult	DisjunctMatrixValidator.validateResolvable(BitString genotype, int m, int n, int t, int f, DisjunctMatrixValidationOptions options)	Bitstring convenience overload for (t,f)-resolvable validation.