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()
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.