DirectDefeat

java.lang.Object

org.tweetyproject.arg.deductive.semantics.attacks.DirectDefeat

All Implemented Interfaces:: Attack

public class DirectDefeat extends Object implements Attack

This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c.

Author:: Matthias Thimm

Method Summary

Modifier and Type

Method

Description

static DirectDefeat

getInstance()

Returns the singleton instance of this class.

boolean

isAttackedBy(DeductiveArgument a, DeductiveArgument b)

Returns "true" iff the first argument is attacked by the second argument.

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

Method Details
- getInstance
  
  public static DirectDefeat getInstance()
  
  Returns the singleton instance of this class.
  
  Returns:
  
  the singleton instance of this class.
- isAttackedBy
  
  public boolean isAttackedBy(DeductiveArgument a, DeductiveArgument b)
  
  Description copied from interface: Attack
  
  Returns "true" iff the first argument is attacked by the second argument.
  
  Specified by:
  
  isAttackedBy in interface Attack
  
  Parameters:
  
  a - some argument
  
  b - some argument
  
  Returns:
  
  "true" iff a is attacked by b.