StrictInferenceRule (Tweety (ASPIC Library) 1.13 API)

java.lang.Object
- net.sf.tweety.arg.aspic.syntax.InferenceRule<T>
- - net.sf.tweety.arg.aspic.syntax.StrictInferenceRule<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 StrictInferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends InferenceRule<T>
```
Author:

Nils Geilen Indefeasible implementation of InferenceRule<T>

Constructor Summary

Constructors
Constructor	Description
`StrictInferenceRule()`	Constructs an empty instance
`StrictInferenceRule(T conclusion, Collection<T> premise)`	Constructs a strict 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
  - StrictInferenceRule
```
public StrictInferenceRule()
```
    Constructs an empty instance
  - StrictInferenceRule
```
public StrictInferenceRule(T conclusion,
                           Collection<T> premise)
```
    Constructs a strict 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