public final class StatementFold extends Object
algorithms/fold-v1.md, Section 2, item 1): the Fact
Occurrences, the FactCandidates, and the requirements on every write of a field. References are the
document-local refs of the document the statement was folded from.| Modifier and Type | Class and Description |
|---|---|
static class |
StatementFold.Candidate
A FactCandidate (Section 7.1, items 4 to 6) with its Occurrence.
|
static class |
StatementFold.CandidateBinding
The binding of one side of a FactCandidate Occurrence (Section 7.1, item 6).
|
static class |
StatementFold.Decision
How a reference decides a FactCandidate's candidate-set end (fold-v1 Section 7.1, item 5): the deciding
reference's candidate set (in the ExplainGraph; at a published end, the document's set with the same members),
and the pairs {alternative, member}, sorted.
|
static class |
StatementFold.End
One end of a FactCandidate: a fixed endpoint, or a candidate set with its membership, and, when another reference
decides it (fold-v1 Section 7.1, item 5), the decision.
|
static class |
StatementFold.FactOccurrence
A Fact Occurrence (Section 8.1): the proposition, its path and ordinal, proof, bindings and support.
|
static class |
StatementFold.Pair
One (source, target) pair of an outcome (Section 7.1, item 5).
|
static class |
StatementFold.TerminalInput
A terminal input of a write (Section 7.5): its kind, disclosure, the literal or hash token, and a parameter's
marker as written with, for an anonymous marker, its position (two parameters of one write are two inputs).
|
static class |
StatementFold.WriteRequirement
What a write of one field must carry (Sections 7.4 and 7.5).
|
| Modifier and Type | Method and Description |
|---|---|
List<StatementFold.Candidate> |
getCandidates()
One entry per FactCandidate (Section 7.1, items 4 to 6).
|
List<StatementFold.FactOccurrence> |
getFacts()
One entry per Fact Occurrence (Section 8.1), ordered by source, target, label, path and ordinal.
|
long |
getStatementRef() |
List<StatementFold.WriteRequirement> |
getWrites()
One entry per field the statement writes (Sections 7.4 and 7.5), ordered by target.
|
public long getStatementRef()
public List<StatementFold.FactOccurrence> getFacts()
public List<StatementFold.Candidate> getCandidates()
public List<StatementFold.WriteRequirement> getWrites()