Uses of Package
ca.mcscert.jpipe.model.elements

Packages that use ca.mcscert.jpipe.model.elements

Package	Description
ca.mcscert.jpipe.commands.creation
ca.mcscert.jpipe.commands.linking
ca.mcscert.jpipe.model
ca.mcscert.jpipe.model.elements
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.equivalences
ca.mcscert.jpipe.visitor

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.commands.creation

Class	Description
ElementView	Read-only view of an element's identity: its id and label.

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.commands.linking

Class	Description
JustificationElement	Sealed root of the element hierarchy.

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.model

Class	Description
AbstractSupport	A placeholder element in a template, to be substituted when the template is implemented.
CommonElement	Sealed interface for elements that can appear in both justifications and templates.
Conclusion	The top-level conclusion that a justification aims to establish.
Evidence	A leaf evidence element supporting a strategy.
JustificationElement	Sealed root of the element hierarchy.
Strategy	A reasoning strategy connecting evidence to a conclusion.
SubConclusion	An intermediate conclusion within a justification.

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.model.elements

Class	Description
CommonElement	Sealed interface for elements that can appear in both justifications and templates.
ElementView	Read-only view of an element's identity: its id and label.
JustificationElement	Sealed root of the element hierarchy.
Strategy	A reasoning strategy connecting evidence to a conclusion.
StrategyBacked	Sealed interface for elements that receive support from exactly one Strategy.
SupportLeaf	Marker interface for elements that can act as direct support in a justification graph: SubConclusion, Evidence, and AbstractSupport.

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.operators

Class	Description
ElementView	Read-only view of an element's identity: its id and label.
JustificationElement	Sealed root of the element hierarchy.

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.operators.equivalences

Class	Description
ElementView	Read-only view of an element's identity: its id and label.

Classes in ca.mcscert.jpipe.model.elements used by ca.mcscert.jpipe.visitor

Class	Description
AbstractSupport	A placeholder element in a template, to be substituted when the template is implemented.
Conclusion	The top-level conclusion that a justification aims to establish.
Evidence	A leaf evidence element supporting a strategy.
Strategy	A reasoning strategy connecting evidence to a conclusion.
SubConclusion	An intermediate conclusion within a justification.