Class ConfidentRebut
- java.lang.Object
-
- net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut
-
- All Implemented Interfaces:
AttackStrategy
public class ConfidentRebut extends java.lang.Object implements AttackStrategy
This notion of attack models the strong rebut relation. A strongly rebuts B iff assumptions(A) = \emptyset and there is L in conclusion(A) and \neg L in conclusion(B).- Author:
- Sebastian Homann
-
-
Method Summary
Modifier and Type Method Description boolean
attacks(Argument a, Argument b)
Returns "true" iff the first argument attacks the second argument.static ConfidentRebut
getInstance()
Returns the singleton instance of this class.java.lang.String
toAbbreviation()
Returns the abbreviated identifier of this notion of attack, i.e.java.lang.String
toString()
-
-
-
Method Detail
-
getInstance
public static ConfidentRebut getInstance()
Returns the singleton instance of this class.- Returns:
- the singleton instance of this class.
-
attacks
public boolean attacks(Argument a, Argument b)
Description copied from interface:AttackStrategy
Returns "true" iff the first argument attacks the second argument.- Specified by:
attacks
in interfaceAttackStrategy
- Parameters:
a
- some argumentb
- some argument- Returns:
- "true" iff
a
attacksb
.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
toAbbreviation
public java.lang.String toAbbreviation()
Description copied from interface:AttackStrategy
Returns the abbreviated identifier of this notion of attack, i.e. "a" for attack- Specified by:
toAbbreviation
in interfaceAttackStrategy
- Returns:
- a short identifier
-
-