DefeasibleInferenceRule (Tweety (ASPIC Library) 1.13 API)

java.lang.Object
- net.sf.tweety.arg.aspic.syntax.InferenceRule<T>
- - net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule<T>

Type Parameters:

T - is the type of the language that the ASPIC theory's rules range over

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<T,T>
```
public class DefeasibleInferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends InferenceRule<T>
```
Author:

Nils Geilen Defeasible implementation of InferenceRule<T>

Constructor Summary

Constructors
Constructor	Description
`DefeasibleInferenceRule()`	Constructs an empty instance
`DefeasibleInferenceRule(T conclusion, Collection<T> premise)`	Constructs a defeasible inference rule p => c

Method Summary

Modifier and Type Method Description

boolean isDefeasible()
- Methods inherited from class net.sf.tweety.arg.aspic.syntax.InferenceRule
  addPremise, addPremises, equals, getConclusion, getIdentifier, getName, getPremise, getSignature, hashCode, isConstraint, isFact, setConclusion, setName, toDefeasible, toStrict, toString
- Methods inherited from class java.lang.Object
  clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - DefeasibleInferenceRule
```
public DefeasibleInferenceRule()
```
    Constructs an empty instance
  - DefeasibleInferenceRule
```
public DefeasibleInferenceRule(T conclusion,
                               Collection<T> premise)
```
    Constructs a defeasible inference rule p => c
    
    Parameters:
    
    conclusion - ^= p
    
    premise - ^= c
- Method Detail
  - isDefeasible
```
public boolean isDefeasible()
```
    Specified by:
    
    isDefeasible in class InferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
    
    Returns:
    
    true iff this rule is defeasible