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() |
Map<IVariable<?>,IConstant<?>> |
getConstants() |
Set<IVariable<?>> |
getMaterialized() |
Set<IVariable<?>> |
getNotAlwaysBound() |
long |
getSolutionSetSize() |
Set<IVariable<?>> |
getUsedVars() |
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()
getSolutionSetSize in interface ISolutionSetStatspublic Set<IVariable<?>> getUsedVars()
getUsedVars in interface ISolutionSetStatspublic Set<IVariable<?>> getAlwaysBound()
getAlwaysBound in interface ISolutionSetStatspublic Set<IVariable<?>> getNotAlwaysBound()
getNotAlwaysBound in interface ISolutionSetStatspublic Set<IVariable<?>> getMaterialized()
getMaterialized in interface ISolutionSetStatspublic Map<IVariable<?>,IConstant<?>> getConstants()
getConstants in interface ISolutionSetStatsCopyright © 2006–2016 SYSTAP, LLC DBA Blazegraph. All rights reserved.