java.lang.Object
- net.sf.tweety.arg.aspic.syntax.InferenceRule<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>

Direct Known Subclasses:

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

Nils Geilen This stands for an inference rule or for a premise if premises has length 0. If this is a premise and defeasible it is an ordinary premise else it is an axiom.

Constructor Summary

Constructors
Constructor	Description
`InferenceRule()`	Creates an empty instance
`InferenceRule(T conclusion, Collection<T> premise)`	Constructs a new inference rule of rule p -> c if strict or p => c else

Method Summary

Modifier and Type	Method	Description
`void`	`addPremise(T premise)`
`void`	`addPremises(Collection<? extends T> premises)`
`boolean`	`equals(Object obj)`
`T`	`getConclusion()`
`String`	`getIdentifier()`	Returns the name if it has one, else it returns the hashcode
`String`	`getName()`	Returns the name
`Collection<? extends T>`	`getPremise()`
`net.sf.tweety.commons.Signature`	`getSignature()`
`int`	`hashCode()`
`boolean`	`isConstraint()`
`abstract boolean`	`isDefeasible()`
`boolean`	`isFact()`
`void`	`setConclusion(T conclusion)`
`void`	`setName(String name)`	Sets the name
`DefeasibleInferenceRule<T>`	`toDefeasible()`
`StrictInferenceRule<T>`	`toStrict()`
`String`	`toString()`

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

- Constructor Detail
  - InferenceRule
```
public InferenceRule()
```
    Creates an empty instance
  - InferenceRule
```
public InferenceRule(T conclusion,
                     Collection<T> premise)
```
    Constructs a new inference rule of rule p -> c if strict or p => c else
    
    Parameters:
    
    conclusion - ^= p
    
    premise - ^= c
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - isDefeasible
```
public abstract boolean isDefeasible()
```
    Returns:
    
    true iff this rule is defeasible
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - toStrict
```
public StrictInferenceRule<T> toStrict()
```
    Returns:
    
    a strict instance of this rule
  - toDefeasible
```
public DefeasibleInferenceRule<T> toDefeasible()
```
    Returns:
    
    a defeasible instance of this rule
  - getIdentifier
```
public String getIdentifier()
```
    Returns the name if it has one, else it returns the hashcode
    
    Returns:
    
    an identifier for this rule
  - getName
```
public String getName()
```
    Returns the name
    
    Returns:
    
    this rul's name
  - setName
```
public void setName(String name)
```
    Sets the name
    
    Parameters:
    
    name - new name
  - isFact
```
public boolean isFact()
```
    Specified by:
    
    isFact in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - isConstraint
```
public boolean isConstraint()
```
    Specified by:
    
    isConstraint in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - setConclusion
```
public void setConclusion(T conclusion)
```
    Specified by:
    
    setConclusion in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - addPremise
```
public void addPremise(T premise)
```
    Specified by:
    
    addPremise in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - addPremises
```
public void addPremises(Collection<? extends T> premises)
```
    Specified by:
    
    addPremises in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - getSignature
```
public net.sf.tweety.commons.Signature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
    
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - getPremise
```
public Collection<? extends T> getPremise()
```
    Specified by:
    
    getPremise in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
  - getConclusion
```
public T getConclusion()
```
    Specified by:
    
    getConclusion in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable,T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

Class InferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

InferenceRule

InferenceRule

Method Detail

hashCode

equals

isDefeasible

toString

toStrict

toDefeasible

getIdentifier

getName

setName

isFact

isConstraint

setConclusion

addPremise

addPremises

getSignature

getPremise

getConclusion