public class NAryTreeBasisILPDelegate extends AbstractNAryTreeLPDelegate<NAryTreeBasisILPTail> implements nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<NAryTreeHead,NAryTreeBasisILPTail>
cldCnt, columns, leaf2sync, maxValRHS, relaxed, rows, solvers, threads, timeOut, treeSize, types, useInt, useORrows, useSemCon, varUpBo
algorithm, classes, configurationNumber, headCompressor, localStateBuilder, node2cost, scaling, tree
Constructor and Description |
---|
NAryTreeBasisILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
NAryTreeBasisILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Modifier and Type | Method and Description |
---|---|
int |
columns() |
TreeRecord |
createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace)
instantiates a record for the given head.
|
NAryTreeBasisILPTail |
createInitialTail(NAryTreeHead head)
creates the initial tail for the given head.
|
BasisLPResult |
estimate(byte[] state,
nl.tue.astar.util.ShortShortMultiset parikh,
int minCost,
int[] basis) |
nl.tue.astar.impl.memefficient.HeadDeflater<NAryTreeHead> |
getHeadDeflater()
additional requirement on the defater to allow for overwriting previously
written objects.
|
NAryTreeBasisILPTailCompressor |
getTailDeflater() |
NAryTreeBasisILPTailCompressor |
getTailInflater() |
int |
rows() |
canUtilizeMsgfunc, deleteLPs, estimate, getNumberVariables, getSyncMoveVar, isIntVariables, msgfunc, printLp, setAllowImplicitOrTermination, setupRhs, setupRhsByte, setupRhsShort
enabledIterator, enabledIterator, getActivitiesFor, getAStarAlgorithm, getClassOf, getCostFor, getEventClass, getHeadBasedEqualOperation, getHeadBasedHashOperation, getHeadInflater, getIndexOf, getLogMoveCost, getModelMoveCost, getScaling, getState, getStateBuilder, getStateSizeInBytes, getTree, isBlocked, isFinal, isLeaf, numEventClasses, numNodes, setPushDownUnderAND, setStateSpace, toString
public NAryTreeBasisILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads)
public NAryTreeBasisILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads, boolean useOrRows)
public NAryTreeBasisILPTailCompressor getTailInflater()
getTailInflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<NAryTreeHead,NAryTreeBasisILPTail>
public NAryTreeBasisILPTailCompressor getTailDeflater()
getTailDeflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<NAryTreeHead,NAryTreeBasisILPTail>
public NAryTreeBasisILPTail createInitialTail(NAryTreeHead head)
nl.tue.astar.Delegate
createInitialTail
in interface nl.tue.astar.Delegate<NAryTreeHead,NAryTreeBasisILPTail>
public nl.tue.astar.impl.memefficient.HeadDeflater<NAryTreeHead> getHeadDeflater()
nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate
getHeadDeflater
in interface nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<NAryTreeHead,NAryTreeBasisILPTail>
getHeadDeflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<NAryTreeHead,NAryTreeBasisILPTail>
getHeadDeflater
in interface TreeDelegate<NAryTreeHead,NAryTreeBasisILPTail>
getHeadDeflater
in class AbstractNAryTreeDelegate<NAryTreeBasisILPTail>
public BasisLPResult estimate(byte[] state, nl.tue.astar.util.ShortShortMultiset parikh, int minCost, int[] basis)
public int columns()
public int rows()
public TreeRecord createInitialRecord(NAryTreeHead head, nl.tue.astar.Trace trace)
nl.tue.astar.Delegate
createInitialRecord
in interface nl.tue.astar.Delegate<NAryTreeHead,NAryTreeBasisILPTail>
createInitialRecord
in class AbstractNAryTreeDelegate<NAryTreeBasisILPTail>