protected static class AbstractSolutionSetStatsTestCase.MySolutionStats extends Object implements ISolutionSetStats
| Modifier and Type | Field and Description |
|---|---|
protected Set<IVariable> |
alwaysBound
The set of variables which are bound in ALL solutions.
|
protected Map<IVariable,IConstant> |
constants
The set of variables which are effective constants (they are bound in
every solution and always to the same value) together with their constant
bindings.
|
protected Set<IVariable> |
materialized
The set of variables whose bound values always have their
IVCache assertion set (if the variable is bound). |
protected Set<IVariable> |
notAlwaysBound
The set of variables which are NOT bound in at least one solution (e.g.,
MAYBE bound semantics).
|
protected long |
nsolutions
The #of solutions.
|
protected Set<IVariable> |
usedVars
The set of variables observed across all solutions.
|
| Constructor and Description |
|---|
AbstractSolutionSetStatsTestCase.MySolutionStats(long nsolutions,
Set<IVariable> usedVars,
Set<IVariable> notAlwaysBound,
Set<IVariable> alwaysBound,
Set<IVariable> materialized,
Map<IVariable,IConstant> constants) |
| Modifier and Type | Method and Description |
|---|---|
Set<IVariable<?>> |
getAlwaysBound()
Return the subset of the variables which are bound in all solutions.
|
Map<IVariable<?>,IConstant<?>> |
getConstants()
The set of variables which are effective constants (they are bound in
every solution and always to the same value) together with their constant
bindings.
|
Set<IVariable<?>> |
getMaterialized()
Return the subset of the variables which are materialized in all
solutions in which they appear (the variables do not have to be bound in
every solution, but if they are bound then their
IVCache
association is always set). |
Set<IVariable<?>> |
getNotAlwaysBound()
Return the subset of the variables which are NOT bound in all solutions.
|
long |
getSolutionSetSize()
Return the #of solutions.
|
Set<IVariable<?>> |
getUsedVars()
Return the set of variables which in at least one solution.
|
protected final long nsolutions
protected final Set<IVariable> usedVars
protected final Set<IVariable> notAlwaysBound
protected final Set<IVariable> alwaysBound
protected final Set<IVariable> materialized
IVCache assertion set (if the variable is bound).public long getSolutionSetSize()
ISolutionSetStatsgetSolutionSetSize in interface ISolutionSetStatspublic Set<IVariable<?>> getUsedVars()
ISolutionSetStatsgetUsedVars in interface ISolutionSetStatspublic Set<IVariable<?>> getAlwaysBound()
ISolutionSetStatsgetAlwaysBound in interface ISolutionSetStatspublic Set<IVariable<?>> getNotAlwaysBound()
ISolutionSetStatsgetNotAlwaysBound in interface ISolutionSetStatspublic Set<IVariable<?>> getMaterialized()
ISolutionSetStatsIVCache
association is always set).getMaterialized in interface ISolutionSetStatspublic Map<IVariable<?>,IConstant<?>> getConstants()
ISolutionSetStatsgetConstants in interface ISolutionSetStatsCopyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.