public abstract class ExecutableReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
protected String[] |
args |
protected boolean |
cleanupInput |
protected boolean |
cleanupOutput |
protected String |
executableInputPath
The file that PSL will write for the reasoner.
|
protected String |
executableOutputPath
The file that the reasoner will write before temination.
|
protected String |
executablePath
The path the to executable to call.
|
budget, evaluate, nonconvex, nonconvexPeriod, nonconvexRounds, objectiveBreak, runFullIterations, tolerance
Constructor and Description |
---|
ExecutableReasoner() |
ExecutableReasoner(String executablePath,
String executableInputPath,
String executableOutputPath,
String... args) |
Modifier and Type | Method and Description |
---|---|
protected void |
callReasoner() |
void |
close()
Releases all resources acquired by this Reasoner.
|
double |
optimize(TermStore termStore)
Optimize without any evaluation.
|
protected abstract void |
readResults(BufferedReader resultsReader,
TermStore termStore) |
protected abstract void |
writeModel(BufferedWriter modelWriter,
TermStore termStore) |
protected String executableInputPath
protected String executableOutputPath
protected String executablePath
protected boolean cleanupInput
protected boolean cleanupOutput
protected String[] args
public double optimize(TermStore termStore)
Reasoner
protected void callReasoner() throws IOException
IOException
public void close()
Reasoner
protected abstract void writeModel(BufferedWriter modelWriter, TermStore termStore) throws IOException
IOException
protected abstract void readResults(BufferedReader resultsReader, TermStore termStore) throws IOException
IOException
Copyright © 2022 University of California, Santa Cruz. All rights reserved.