public class EmptySolutionSetStats extends Object implements ISolutionSetStats
ISolutionSetStats interface was introduced.| Modifier and Type | Field and Description |
|---|---|
static ISolutionSetStats |
INSTANCE |
| 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.
|
public static final ISolutionSetStats INSTANCE
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.