net.sf.tweety.arg.deductive.semantics.attacks

Class DefeatingRebuttal

java.lang.Object

net.sf.tweety.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 and 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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

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.