Rule

Type Parameters:

C - the type of formulas for the conclusion

P - the type of formulas for the premises

All Superinterfaces:

Formula

All Known Implementing Classes:

AbaRule, ASPRule, Assumption, BasicArgument, Conditional, DefeasibleInferenceRule, DefeasibleRule, DelpFact, DelpRule, InferenceRule, InferenceRule, NLPRule, ProbabilisticConditional, RelationalConditional, RelationalProbabilisticConditional, SimplePlRule, StrictInferenceRule, StrictRule
```
public interface Rule<C extends Formula,P extends Formula>
extends Formula
```
This interface models a general rule, i.e. a structure with some premise (a set of formulas) and some conclusion (a single formula).

Author:

Matthias Thimm, Tim Janus

Method Summary

Modifier and Type	Method	Description
`void`	`addPremise(P premise)`
`void`	`addPremises(java.util.Collection<? extends P> premises)`
`C`	`getConclusion()`	Returns the conclusion of this rule.
`java.util.Collection<? extends P>`	`getPremise()`	Returns the premise of this rule.
`Signature`	`getSignature()`	Returns the signature of the language of this formula.
`boolean`	`isConstraint()`
`boolean`	`isFact()`
`void`	`setConclusion(C conclusion)`

- Method Detail
  - isFact
```
boolean isFact()
```
  - isConstraint
```
boolean isConstraint()
```
  - setConclusion
```
void setConclusion(C conclusion)
```
  - addPremise
```
void addPremise(P premise)
```
  - addPremises
```
void addPremises(java.util.Collection<? extends P> premises)
```
  - getSignature
```
Signature getSignature()
```
    Description copied from interface: Formula
    
    Returns the signature of the language of this formula.
    
    Specified by:
    
    getSignature in interface Formula
    
    Returns:
    
    the signature of the language of this formula.
  - getPremise
```
java.util.Collection<? extends P> getPremise()
```
    Returns the premise of this rule.
    
    Returns:
    
    the premise of this rule.
  - getConclusion
```
C getConclusion()
```
    Returns the conclusion of this rule.
    
    Returns:
    
    the conclusion of this rule.