DICE API Documentation/com.embabel.dice.proposition/GraphTraversalCapable

GraphTraversalCapable

interface GraphTraversalCapable

Opt-in capability for navigating the proposition abstraction hierarchy — finding source propositions and the abstractions derived from them.

The defaults resolve links in memory via findById/findAll; a graph-native store can override to push traversal to the backend.

Inheritors

Functions

Link copied to clipboard
open fun findAbstractionsOf(propositionId: String): List<Proposition>

Find propositions that were abstracted from the given proposition. Searches for propositions that cite the given ID in their Proposition.sourceIds.

Link copied to clipboard
abstract fun findAll(): List<Proposition>

Get all propositions. Used by findAbstractionsOf; satisfied automatically when a type also implements PropositionStore.

Link copied to clipboard
abstract fun findById(id: String): Proposition?

Find a proposition by its ID. Used by findSources; satisfied automatically when a type also implements PropositionStore.

Link copied to clipboard
open fun findSources(proposition: Proposition): List<Proposition>

Find the source propositions that a given proposition was abstracted from. Resolves the proposition's Proposition.sourceIds to actual propositions.