public class ForwardEntailerSearchProblem
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
maxResults
The maximum number of results to return from a single search.
|
int |
maxTicks
The maximum number of ticks top search for.
|
SemanticGraph |
parseTree
The parse of this fragment.
|
boolean |
truthOfPremise
The truth of the premise -- determines the direction we can mutate the sentences.
|
NaturalLogicWeights |
weights
The weights to use for entailment.
|
Modifier | Constructor and Description |
---|---|
protected |
ForwardEntailerSearchProblem(SemanticGraph parseTree,
boolean truthOfPremise,
int maxResults,
int maxTicks,
NaturalLogicWeights weights)
Create a new search problem, fully specified.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<SentenceFragment> |
search()
Run a search from this entailer.
|
public final SemanticGraph parseTree
public final boolean truthOfPremise
public final int maxTicks
public final int maxResults
public final NaturalLogicWeights weights
protected ForwardEntailerSearchProblem(SemanticGraph parseTree, boolean truthOfPremise, int maxResults, int maxTicks, NaturalLogicWeights weights)
ForwardEntailer
public java.util.List<SentenceFragment> search()