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 java.lang.Object
implements Attack

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private static Defeat	instance Singleton instance.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Defeat() Private constructor.

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

Field Detail

instance

private static Defeat instance

Singleton instance.

Constructor Detail

Defeat

private Defeat()

Private constructor.

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.