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, wait
synthesizeNet
protected 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.Runnable
public long computationTimeMs()
computationTimeMs
in interface LPMiner
public long decorationTimeMs()
decorationTimeMs
in interface LPMiner
public long solveTimeMs()
solveTimeMs
in interface LPMiner