DefeatingRebuttal

java.lang.Object

org.tweetyproject.arg.deductive.semantics.attacks.DefeatingRebuttal

All Implemented Interfaces:: Attack

public class DefeatingRebuttal extends Object implements Attack

This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).

Author:: Matthias Thimm

Method Summary

Modifier and Type

Method

Description

static DefeatingRebuttal

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 DefeatingRebuttal 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.