argutia.logic.argumentationFramework
Class Argument

java.lang.Object
  extended by argutia.logic.argumentationFramework.Argument
All Implemented Interfaces:
AffichableAvecStyle
public class Argument
extends Object
implements AffichableAvecStyle
Nested Class Summary
static class Argument.Type
           
 
Field Summary
private boolean attaque
           
private SetOfFormulas conclusion
           
private SetOfFormulas support
           
 
Constructor Summary
Argument(SetOfFormulas support, SetOfFormulas conclusion, boolean attaque)
           
 
Method Summary
 SetOfFormulas getConclusion()
           
 SetOfFormulas getSupport()
           
 String toString()
           
 void toStyledString(BatchStyledDocument doc)
          Ajoute du texte mis en forme au BatchedContent passé en paramètre.
static void toStyleString(BatchStyledDocument doc, List<Argument> liste)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Field Detail

attaque

private final boolean attaque

conclusion

private final SetOfFormulas conclusion

support

private final SetOfFormulas support
Constructor Detail

Argument

public Argument(SetOfFormulas support,
                SetOfFormulas conclusion,
                boolean attaque)
Method Detail

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