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()
ISolutionSetStats
getSolutionSetSize
in interface ISolutionSetStats
public Set<IVariable<?>> getUsedVars()
ISolutionSetStats
getUsedVars
in interface ISolutionSetStats
public Set<IVariable<?>> getAlwaysBound()
ISolutionSetStats
getAlwaysBound
in interface ISolutionSetStats
public Set<IVariable<?>> getNotAlwaysBound()
ISolutionSetStats
getNotAlwaysBound
in interface ISolutionSetStats
public Set<IVariable<?>> getMaterialized()
ISolutionSetStats
IVCache
association is always set).getMaterialized
in interface ISolutionSetStats
public Map<IVariable<?>,IConstant<?>> getConstants()
ISolutionSetStats
getConstants
in interface ISolutionSetStats
Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.