BArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.bipolar.syntax.BArgument

All Implemented Interfaces:: Comparable<Argument>, Iterable<BArgument>, BipolarEntity, DungEntity, Formula, Node

public class BArgument extends Argument implements BipolarEntity

This class models an argument used by bipolar abstract argumentation theories.

Author:: Lars Bengel

Constructor Summary

Constructors

Constructor

Description

BArgument(String name)

BArgument(Argument arg)
Method Summary

Modifier and Type

Method

Description

boolean

contains(Object arg0)

boolean

isSupportedBy(EAFTheory theory, BipolarEntity x)

Iterator<BArgument>

iterator()

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument
compareTo, equals, getLdoArgument, getLdoFormula, getName, getSignature, hashCode, setName, toString

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.tweetyproject.arg.dung.syntax.DungEntity
getLdoFormula

Methods inherited from interface org.tweetyproject.commons.Formula
getSignature

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Constructor Details
- BArgument
  
  public BArgument(String name)
- BArgument
  
  public BArgument(Argument arg)
Method Details
- contains
  
  public boolean contains(Object arg0)
  
  Specified by:
  
  contains in interface BipolarEntity
- iterator
  
  public Iterator<BArgument> iterator()
  
  Specified by:
  
  iterator in interface Iterable<BArgument>
- isSupportedBy
  
  public boolean isSupportedBy(EAFTheory theory, BipolarEntity x)