ClausalAttackConstraint

java.lang.Object

org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint

All Implemented Interfaces:: AttackConstraint<Collection<PlFormula>>

public class ClausalAttackConstraint extends Object implements AttackConstraint<Collection<PlFormula>>

This class models a clausal attack constraint

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

ClausalAttackConstraint(ClausalAttackConstraint condition1, ClausalAttackConstraint condition2)

ClausalAttackConstraint(Argument arg)

simple constructor

ClausalAttackConstraint(Argument arg, Input input)
Method Summary

Modifier and Type

Method

Description

Argument

getArgument()

returns the argument

Collection<PlFormula>

getCondition()

returns condition

String

toString()

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

Constructor Details
- ClausalAttackConstraint
  
  public ClausalAttackConstraint(Argument arg)
  
  simple constructor
  
  Parameters:
  
  arg - Argument
- ClausalAttackConstraint
  
  public ClausalAttackConstraint(Argument arg, Input input)
  
  Parameters:
  
  arg - argument
  
  input - input
- ClausalAttackConstraint
  
  public ClausalAttackConstraint(ClausalAttackConstraint condition1, ClausalAttackConstraint condition2)
  
  Parameters:
  
  condition1 - condition 1
  
  condition2 - condition 2
Method Details
- getCondition
  
  public Collection<PlFormula> getCondition()
  
  returns condition
  
  Specified by:
  
  getCondition in interface AttackConstraint<Collection<PlFormula>>
  
  Returns:
  
  The condition of type T associated with this attack constraint.
- getArgument
  
  public Argument getArgument()
  
  returns the argument
  
  Specified by:
  
  getArgument in interface AttackConstraint<Collection<PlFormula>>
  
  Returns:
  
  The Argument associated with this constraint, possibly representing a participant in the attack.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object