public class SetTypeManager extends Object
SetType
for the ExhaustiveAssignmentGenerator
.
Relies on a SetManager
for each Set
defined for its
SetType
.
Created: August 22, 2008Constructor and Description |
---|
SetTypeManager(SetType setType)
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
createAssignments(int desiredSize)
Creates most probable assignments up to the given desired size of the
history.
|
Map<ParameterInstance,ParameterAssignment> |
getAssignment(int assignmentIndex)
Gets i-th most probable assignment.
|
double |
getProbability(int assignmentIndex)
Gets i-th most probable assignment probability.
|
boolean |
hasAssignment(int assignmentIndex)
Checks whether there are (at least) as many assignments as specified by the
given index.
|
public SetTypeManager(SetType setType)
setType
- the Settype to be managedpublic double getProbability(int assignmentIndex)
assignmentIndex
- the desired indexpublic Map<ParameterInstance,ParameterAssignment> getAssignment(int assignmentIndex)
assignmentIndex
- the desired indexpublic boolean hasAssignment(int assignmentIndex)
assignmentIndex
- the desired assignment indexprotected final boolean createAssignments(int desiredSize)
desiredSize
- the desired size of the historyCopyright © 2012. All Rights Reserved.