GraphPath

data class GraphPath(val entityIds: List<String>, val edges: List<Proposition>)

An ordered path between two entities, derived from proposition edges.

The path is the entity sequence [a, ..., b] together with the propositions connecting each consecutive pair. An empty entityIds models "no path" — callers that need to distinguish an absent path from a present one read found.

Constructors

Link copied to clipboard
constructor(entityIds: List<String>, edges: List<Proposition>)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard

the propositions connecting consecutive entities along the path (size = entityIds.size - 1 for a non-empty path)

Link copied to clipboard

the ordered sequence of entity identifiers from start to end; empty for no path

Link copied to clipboard

Whether this path actually connects two entities.

Link copied to clipboard

Whether this path is empty (the no-path sentinel).