net.sf.tweety.arg.aspic.syntax

Class StrictInferenceRule<T extends Invertable>

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:

Formula, Rule<T,T>

public class StrictInferenceRule<T extends Invertable>
extends InferenceRule<T>

Author:

Nils Geilen Indefeasible implementation of InferenceRule

Constructor Summary

Constructors

Constructor and Description
StrictInferenceRule() Constructs an empty instance
StrictInferenceRule(T conclusion, java.util.Collection<T> premise) Constructs a strict inference rule p -> c

Method Summary

Modifier and Type	Method and 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,
                           java.util.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 Invertable>

Returns:

true iff this rule is defeasible