public class NAryTreeBasis2ILPDelegate extends NAryTreeHybridILPDelegate
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 |
---|
NAryTreeBasis2ILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
NAryTreeBasis2ILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Modifier and Type | Method and Description |
---|---|
int |
columns() |
nl.tue.astar.util.LPResult |
estimate(byte[] state,
nl.tue.astar.util.ShortShortMultiset parikh,
int minCost) |
int |
rows() |
createInitialRecord, createInitialTail, getHeadDeflater, getTailDeflater, getTailInflater
canUtilizeMsgfunc, 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 NAryTreeBasis2ILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads)
public NAryTreeBasis2ILPDelegate(AStarAlgorithm algorithm, NAryTree tree, int configurationNumber, int[] node2cost, int threads, boolean useOrRows)
public nl.tue.astar.util.LPResult estimate(byte[] state, nl.tue.astar.util.ShortShortMultiset parikh, int minCost)
estimate
in class AbstractNAryTreeLPDelegate<NAryTreeHybridILPTail>
public int columns()
public int rows()