public static final class StatementFold.Candidate extends Object
| Modifier and Type | Method and Description |
|---|---|
Set<Set<StatementFold.Pair>> |
getEffectiveOutcomes()
The outcomes that hold: the listed ones, or the implied ones when none are listed.
|
FoldLabel |
getLabel() |
Long |
getOffset()
The UTF-8 offset of the deciding reference, or null.
|
int |
getOrdinal()
The rank among the FactCandidates of the statement with the same subject and path (identity-v1 5.4).
|
Set<Set<StatementFold.Pair>> |
getOutcomes()
The outcomes to list in
outcomes; null when they are the implied ones. |
Object |
getPath()
The semantic path of the deciding reference, or null.
|
String |
getProofStatus() |
List<Object> |
getReferences()
The ambiguous references of the group, named by their candidate sets, sorted.
|
StatementFold.End |
getSource() |
StatementFold.CandidateBinding |
getSourceBinding() |
SortedSet<Long> |
getSupport() |
List<List<Long>> |
getSupportWalks()
Fold walks that each yield this FactCandidate and together cover its support subgraph.
|
StatementFold.End |
getTarget() |
StatementFold.CandidateBinding |
getTargetBinding() |
String |
toString() |
public List<Object> getReferences()
public StatementFold.End getSource()
public StatementFold.End getTarget()
public Set<Set<StatementFold.Pair>> getOutcomes()
outcomes; null when they are the implied ones.public Set<Set<StatementFold.Pair>> getEffectiveOutcomes()
public String getProofStatus()
public SortedSet<Long> getSupport()
public List<List<Long>> getSupportWalks()
public int getOrdinal()
public StatementFold.CandidateBinding getSourceBinding()
public StatementFold.CandidateBinding getTargetBinding()