@Deprecated 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
Deprecated.
|
protected T |
decorator
Deprecated.
|
protected LPLogAbstraction<U> |
logAbstraction
Deprecated.
|
protected java.util.Set<double[]> |
solutions
Deprecated.
|
protected long |
solveTimeCummulative
Deprecated.
|
protected S |
varMap
Deprecated.
|
Constructor and Description |
---|
AbstractLPMiner(S varMap,
T decorator,
LPLogAbstraction<U> logAbstraction)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
long |
computationTimeMs()
Deprecated.
|
long |
decorationTimeMs()
Deprecated.
|
protected abstract void |
execute()
Deprecated.
|
void |
run()
Deprecated.
|
java.util.Set<double[]> |
solutions()
Deprecated.
|
long |
solveTimeMs()
Deprecated.
|
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 java.util.Set<double[]> solutions()
public long computationTimeMs()
computationTimeMs
in interface LPMiner
public long decorationTimeMs()
decorationTimeMs
in interface LPMiner
public long solveTimeMs()
solveTimeMs
in interface LPMiner