public abstract class AbstractLPMiner<T extends LPDecorator,S extends VariableMapping,U> extends java.lang.Object implements LPMiner
| Modifier and Type | Field and Description |
|---|---|
protected long |
computationTime |
protected T |
decorator |
protected LPLogAbstraction<U> |
logAbstraction |
protected java.util.Set<double[]> |
solutions |
protected long |
solveTimeCummulative |
protected S |
varMap |
| Constructor and Description |
|---|
AbstractLPMiner(S varMap,
T decorator,
LPLogAbstraction<U> logAbstraction) |
| Modifier and Type | Method and Description |
|---|---|
long |
computationTimeMs() |
long |
decorationTimeMs() |
protected abstract void |
execute() |
void |
run() |
java.util.Set<double[]> |
solutions() |
long |
solveTimeMs() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitsynthesizeNetprotected S extends VariableMapping varMap
protected T extends LPDecorator decorator
protected LPLogAbstraction<U> logAbstraction
protected long computationTime
protected long solveTimeCummulative
protected final java.util.Set<double[]> solutions
public AbstractLPMiner(S varMap, T decorator, LPLogAbstraction<U> logAbstraction)
protected abstract void execute()
public void run()
run in interface java.lang.Runnablepublic long computationTimeMs()
computationTimeMs in interface LPMinerpublic long decorationTimeMs()
decorationTimeMs in interface LPMinerpublic long solveTimeMs()
solveTimeMs in interface LPMiner