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

Class Defeat

java.lang.Object

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

All Implemented Interfaces:

Attack

public class Defeat
extends Object
implements Attack

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

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
static Defeat	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 Defeat 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.