choco.cp.solver.search.task.profile
Class ProbabilisticProfile

java.lang.Object
  extended by choco.cp.solver.search.task.profile.ProbabilisticProfile

public class ProbabilisticProfile
extends Object

Probabilistic profile of an unary resource.

Author:
Arnaud Malapert

Nested Class Summary
protected static class ProbabilisticProfile.EventDataStructure
           
protected static class ProbabilisticProfile.MaximumDataStruct
           
 
Field Summary
 DisjunctiveSModel disjSModel
           
protected  BitSet involved
           
 
Constructor Summary
ProbabilisticProfile(ITask[] tasks, DisjunctiveSModel disjSModel)
           
ProbabilisticProfile(List<? extends ITask> tasks, DisjunctiveSModel disjSModel)
           
ProbabilisticProfile(Solver solver, DisjunctiveSModel disjSModel)
           
 
Method Summary
 double compute(int x)
           
 void computeMaximum(IResource<?>... resources)
          compute a maximum using the specified set checker
 StringBuilder draw()
           
 void generateEventsList(IResource<? extends ITask> rsc)
           
protected  ProbabilisticProfile.EventDataStructure getEDS(ITask task)
           
 double getIndividualContribution(ITask task, int coordinate)
           
 BitSet getInvolvedInMaxProf()
           
 int getMaxProfileCoord()
           
 double getMaxProfileValue()
           
protected  void handleEvent(choco.cp.solver.search.task.profile.ProbabilisticProfile.EventRProf e)
           
protected  void handleEvents(choco.cp.solver.search.task.profile.ProbabilisticProfile.EventRProf e, ListIterator<choco.cp.solver.search.task.profile.ProbabilisticProfile.EventRProf> iter)
           
 void initializeEvents()
           
protected  boolean isValidMaximum()
           
protected  void resetSweepData()
           
protected  void sweep()
           
protected  void update(int x)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

involved

protected final BitSet involved

disjSModel

public final DisjunctiveSModel disjSModel
Constructor Detail

ProbabilisticProfile

public ProbabilisticProfile(ITask[] tasks,
                            DisjunctiveSModel disjSModel)

ProbabilisticProfile

public ProbabilisticProfile(List<? extends ITask> tasks,
                            DisjunctiveSModel disjSModel)

ProbabilisticProfile

public ProbabilisticProfile(Solver solver,
                            DisjunctiveSModel disjSModel)
Method Detail

getIndividualContribution

public final double getIndividualContribution(ITask task,
                                              int coordinate)

getEDS

protected ProbabilisticProfile.EventDataStructure getEDS(ITask task)

generateEventsList

public final void generateEventsList(IResource<? extends ITask> rsc)

resetSweepData

protected void resetSweepData()

handleEvents

protected void handleEvents(choco.cp.solver.search.task.profile.ProbabilisticProfile.EventRProf e,
                            ListIterator<choco.cp.solver.search.task.profile.ProbabilisticProfile.EventRProf> iter)

handleEvent

protected void handleEvent(choco.cp.solver.search.task.profile.ProbabilisticProfile.EventRProf e)

initializeEvents

public void initializeEvents()

sweep

protected final void sweep()

computeMaximum

public final void computeMaximum(IResource<?>... resources)
compute a maximum using the specified set checker


isValidMaximum

protected boolean isValidMaximum()

getMaxProfileValue

public double getMaxProfileValue()

getMaxProfileCoord

public int getMaxProfileCoord()

getInvolvedInMaxProf

public BitSet getInvolvedInMaxProf()

compute

public double compute(int x)

update

protected void update(int x)

draw

public StringBuilder draw()


Copyright © 2012. All Rights Reserved.