net.sf.bddbddb
Class FindBestDomainOrder.ConstraintInfoCollection

java.lang.Object
  net.sf.bddbddb.FindBestDomainOrder.ConstraintInfoCollection

Enclosing class:

FindBestDomainOrder

public static class FindBestDomainOrder.ConstraintInfoCollection
extends java.lang.Object

Constructor Summary

FindBestDomainOrder.ConstraintInfoCollection(Solver s)

Method Summary

void	addTrials(EpisodeCollection tc)
ConstraintInfo	getInfo(OrderConstraint c)
ConstraintInfo	getOrCreateInfo(OrderConstraint c)
FindBestDomainOrder.OrderInfo	predict(Order o, OrderTranslator trans)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FindBestDomainOrder.ConstraintInfoCollection

public FindBestDomainOrder.ConstraintInfoCollection(Solver s)

Method Detail

getInfo

public ConstraintInfo getInfo(OrderConstraint c)

getOrCreateInfo

public ConstraintInfo getOrCreateInfo(OrderConstraint c)

addTrials

public void addTrials(EpisodeCollection tc)

predict

public FindBestDomainOrder.OrderInfo predict(Order o,
                                             OrderTranslator trans)