Modifier and Type | Field and Description |
---|---|
protected String[] |
args |
static boolean |
CLEANUP_INPUT_DEFAULT |
static String |
CLEANUP_INPUT_KEY
Key for boolean property for whether to delete the input file to external the reasoner on close.
|
static boolean |
CLEANUP_OUTPUT_DEFAULT |
static String |
CLEANUP_OUTPUT_KEY
Key for boolean property for whether to delete the output file to external the reasoner on close.
|
protected boolean |
cleanupInput |
protected boolean |
cleanupOutput |
static String |
CONFIG_PREFIX
Prefix of property keys used by this class.
|
static String |
EXECUTABLE_PATH_KEY
Key for int property for the path of the executable.
|
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.
|
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.
|
void |
optimize(TermStore termStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
protected abstract void |
readResults(BufferedReader resultsReader,
TermStore termStore) |
protected abstract void |
writeModel(BufferedWriter modelWriter,
TermStore termStore) |
public static final String CONFIG_PREFIX
public static final String EXECUTABLE_PATH_KEY
public static final String CLEANUP_INPUT_KEY
public static final boolean CLEANUP_INPUT_DEFAULT
public static final String CLEANUP_OUTPUT_KEY
public static final boolean CLEANUP_OUTPUT_DEFAULT
protected String executableInputPath
protected String executableOutputPath
protected String executablePath
protected boolean cleanupInput
protected boolean cleanupOutput
protected String[] args
public void 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 © 2018 University of California, Santa Cruz. All rights reserved.