|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectp3j.simulation.assignments.exhaustive.SetTypeManager
public class SetTypeManager
Manages a SetType
for the ExhaustiveAssignmentGenerator
.
Relies on a SetManager
for each Set
defined for its
SetType
.
Created: August 22, 2008
Constructor Summary | |
---|---|
SetTypeManager(SetType setType)
Default constructor. |
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SetTypeManager(SetType setType)
setType
- the Settype to be managedMethod Detail |
---|
public double getProbability(int assignmentIndex)
assignmentIndex
- the desired index
public Map<ParameterInstance,ParameterAssignment> getAssignment(int assignmentIndex)
assignmentIndex
- the desired index
public boolean hasAssignment(int assignmentIndex)
assignmentIndex
- the desired assignment index
protected final boolean createAssignments(int desiredSize)
desiredSize
- the desired size of the history
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |