RaVoidPrecedence (Tweety (Ranking Semantics for Argumentation Library) 1.13 API)

java.lang.Object
- net.sf.tweety.arg.rankings.postulates.RankingPostulate
- - net.sf.tweety.arg.rankings.postulates.RaVoidPrecedence

All Implemented Interfaces:

net.sf.tweety.commons.postulates.Postulate<net.sf.tweety.arg.dung.syntax.Argument>
```
public class RaVoidPrecedence
extends RankingPostulate
```
The "void precedence" postulate for ranking semantics as proposed by [Amgoud, Ben-Naim. Ranking-based semantics for argumentation frameworks. 2013]: A non-attacked argument is ranked strictly higher than any attacked argument.

Author:

Anna Gessler

Field Summary
- Fields inherited from class net.sf.tweety.arg.rankings.postulates.RankingPostulate
  ABSTRACTION, ADDITIONOFATTACKBRANCH, ADDITIONOFDEFENSEBRANCH, ATTACKVSFULLDEFENSE, CARDINALITYPRECEDENCE, INDEPENDENCE, NONATTACKEDEQUIVALENCE, QUALITYPRECEDENCE, SELFCONTRADICTION, STRICTADDITIONOFDEFENSEBRANCH, TOTAL, VOIDPRECEDENCE

Constructor Summary

Constructors
Constructor Description

RaVoidPrecedence()

Method Summary

Modifier and Type	Method	Description
`String`	`getName()`
`boolean`	`isApplicable(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb)`	The INCREASEOFDEFENSEBRANCH postulate
`boolean`	`isSatisfied(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb, AbstractRankingReasoner<net.sf.tweety.arg.dung.semantics.ArgumentRanking> ev)`

Methods inherited from class net.sf.tweety.arg.rankings.postulates.RankingPostulate
isSatisfied

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - RaVoidPrecedence
```
public RaVoidPrecedence()
```
- Method Detail
  - getName
```
public String getName()
```
  - isApplicable
```
public boolean isApplicable(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb)
```
    Description copied from class: RankingPostulate
    
    The INCREASEOFDEFENSEBRANCH postulate
    
    Specified by:
    
    isApplicable in interface net.sf.tweety.commons.postulates.Postulate<net.sf.tweety.arg.dung.syntax.Argument>
    
    Specified by:
    
    isApplicable in class RankingPostulate
  - isSatisfied
```
public boolean isSatisfied(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb,
                           AbstractRankingReasoner<net.sf.tweety.arg.dung.semantics.ArgumentRanking> ev)
```
    Specified by:
    
    isSatisfied in class RankingPostulate