Uses of Interface
ca.mcscert.jpipe.model.elements.StrategyBacked

Packages that use StrategyBacked

Package	Description
ca.mcscert.jpipe.model.elements

Uses of StrategyBacked in ca.mcscert.jpipe.model.elements

Classes in ca.mcscert.jpipe.model.elements that implement StrategyBacked

Modifier and Type	Class	Description
final class	Conclusion	The top-level conclusion that a justification aims to establish.
final class	SubConclusion	An intermediate conclusion within a justification.