Class SubConclusion

java.lang.Object

ca.mcscert.jpipe.model.elements.SubConclusion

All Implemented Interfaces:

CommonElement, ElementView, JustificationElement, StrategyBacked, SupportLeaf

public final class SubConclusion
extends Object
implements CommonElement, StrategyBacked, SupportLeaf

An intermediate conclusion within a justification.

Constructor Summary

Constructors

Constructor	Description
SubConclusion(String id, String label)

Method Summary

Modifier and Type	Method	Description
void	addSupport(Strategy supporter)
Optional<Strategy>	getSupport()
String	id()
String	label()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ElementView

id, label

Methods inherited from interface JustificationElement

accept

Methods inherited from interface StrategyBacked

addSupport, getSupport

Constructor Details

SubConclusion

public SubConclusion(String id,
 String label)

Method Details

id

public String id()

label

public String label()

addSupport

public void addSupport(Strategy supporter)

getSupport

public Optional<Strategy> getSupport()

toString

public String toString()

Overrides:

toString in class Object