public class NAryTreeNativeILPDelegate extends AbstractNAryTreeLPDelegate<NAryTreeNativeILPTail> implements nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<NAryTreeHead,NAryTreeNativeILPTail>
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 |
---|
NAryTreeNativeILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
NAryTreeNativeILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows,
boolean useBasisHistory) |
NAryTreeNativeILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows,
boolean useBasisHistory,
boolean useInt)
Deprecated.
Temporary constructor to allow LP tests
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
canUtilizeMsgfunc() |
TreeRecord |
createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace)
instantiates a record for the given head.
|
NAryTreeNativeILPTail |
createInitialTail(NAryTreeHead head)
creates the initial tail for the given head.
|
nl.tue.astar.util.LPResult |
estimate(byte[] state,
nl.tue.astar.util.ShortShortMultiset parikh,
int minCost) |
nl.tue.astar.util.LPResult |
estimate(byte[] state,
nl.tue.astar.util.ShortShortMultiset parikh,
int minCost,
BasisHistory basisHistory) |
nl.tue.astar.impl.memefficient.HeadDeflater<NAryTreeHead> |
getHeadDeflater()
additional requirement on the defater to allow for overwriting previously
written objects.
|
NAryTreeNativeILPTailCompressor |
getTailDeflater() |
NAryTreeNativeILPTailCompressor |
getTailInflater() |
deleteLPs, 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 NAryTreeNativeILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads, boolean useOrRows)
public NAryTreeNativeILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads, boolean useOrRows, boolean useBasisHistory)
@Deprecated public NAryTreeNativeILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads, boolean useOrRows, boolean useBasisHistory, boolean useInt)
public NAryTreeNativeILPTailCompressor getTailInflater()
getTailInflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<NAryTreeHead,NAryTreeNativeILPTail>
public NAryTreeNativeILPTailCompressor getTailDeflater()
getTailDeflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<NAryTreeHead,NAryTreeNativeILPTail>
public NAryTreeNativeILPTail createInitialTail(NAryTreeHead head)
nl.tue.astar.Delegate
createInitialTail
in interface nl.tue.astar.Delegate<NAryTreeHead,NAryTreeNativeILPTail>
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,NAryTreeNativeILPTail>
getHeadDeflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<NAryTreeHead,NAryTreeNativeILPTail>
getHeadDeflater
in interface TreeDelegate<NAryTreeHead,NAryTreeNativeILPTail>
getHeadDeflater
in class AbstractNAryTreeDelegate<NAryTreeNativeILPTail>
protected boolean canUtilizeMsgfunc()
canUtilizeMsgfunc
in class AbstractNAryTreeLPDelegate<NAryTreeNativeILPTail>
public nl.tue.astar.util.LPResult estimate(byte[] state, nl.tue.astar.util.ShortShortMultiset parikh, int minCost)
estimate
in class AbstractNAryTreeLPDelegate<NAryTreeNativeILPTail>
public nl.tue.astar.util.LPResult estimate(byte[] state, nl.tue.astar.util.ShortShortMultiset parikh, int minCost, BasisHistory basisHistory)
public TreeRecord createInitialRecord(NAryTreeHead head, nl.tue.astar.Trace trace)
nl.tue.astar.Delegate
createInitialRecord
in interface nl.tue.astar.Delegate<NAryTreeHead,NAryTreeNativeILPTail>
createInitialRecord
in class AbstractNAryTreeDelegate<NAryTreeNativeILPTail>