argutia.logic.argumentationFramework
Class Argument
java.lang.Object
argutia.logic.argumentationFramework.Argument
- All Implemented Interfaces:
- AffichableAvecStyle
public class Argument
- extends Object
- implements AffichableAvecStyle
attaque
private final boolean attaque
conclusion
private final SetOfFormulas conclusion
support
private final SetOfFormulas support
Argument
public Argument(SetOfFormulas support,
SetOfFormulas conclusion,
boolean attaque)
toStyleString
public static void toStyleString(BatchStyledDocument doc,
List<Argument> liste)
getSupport
public SetOfFormulas getSupport()
getConclusion
public SetOfFormulas getConclusion()
toString
public String toString()
- Overrides:
toString
in class Object
toStyledString
public void toStyledString(BatchStyledDocument doc)
- Description copied from interface:
AffichableAvecStyle
- Ajoute du texte mis en forme au
BatchedContent
passé en paramètre.
- Specified by:
toStyledString
in interface AffichableAvecStyle
- See Also:
MyStyles
Argutia JavaDoc
23 décembre 2007