public class CompiledSolutionSetStats extends Object implements ISolutionSetStats, Serializable
| Constructor and Description |
|---|
CompiledSolutionSetStats(long nsolutions,
Set<IVariable<?>> usedVars,
Set<IVariable<?>> alwaysBound,
Set<IVariable<?>> notAlwaysBound,
Set<IVariable<?>> materialized,
Map<IVariable<?>,IConstant<?>> constants)
Constructor exposes unmodifable versions of its arguments.
|
| 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.
|
String |
toString() |
public CompiledSolutionSetStats(long nsolutions,
Set<IVariable<?>> usedVars,
Set<IVariable<?>> alwaysBound,
Set<IVariable<?>> notAlwaysBound,
Set<IVariable<?>> materialized,
Map<IVariable<?>,IConstant<?>> constants)
nsolutions - The #of solutions.usedVars - The set of variables observed across all solutions.alwaysBound - The set of variables which are bound in ALL solutions.notAlwaysBound - The set of variables which are NOT bound in at least one
solution (e.g., MAYBE bound semantics).materialized - The set of variables whose bound value has its IVCache
association set in all solutions in which that variable is
bound.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.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.