Interface JustificationElement

All Superinterfaces:

ElementView

All Known Subinterfaces:

CommonElement

All Known Implementing Classes:

AbstractSupport, Conclusion, Evidence, Strategy, SubConclusion

public sealed interface JustificationElement
extends ElementView
permits CommonElement, AbstractSupport

Sealed root of the element hierarchy. Permits only CommonElement and AbstractSupport, ensuring exhaustive pattern matching over all element types.

Method Summary

Modifier and Type	Method	Description
default <R> R	accept(JustificationVisitor<R> visitor)

Methods inherited from interface ElementView

id, label

Method Details

accept

default <R> R accept(JustificationVisitor<R> visitor)