T
- is the type of the language that the ASPIC theory's rules range overpublic class AspicArgument<T extends Invertable> extends Argument
Modifier and Type | Field and Description |
---|---|
private T |
conc
The conclusion of the argument's top rule
|
private java.util.List<AspicArgument<T>> |
directsubs
The argument's direct children, whose conclusions fit its prerequisites
|
private InferenceRule<T> |
toprule
The srgument's top rule
|
Constructor and Description |
---|
AspicArgument(InferenceRule<T> toprule)
Creates an empty Argument
|
AspicArgument(InferenceRule<T> toprule,
java.util.Collection<AspicArgument<T>> directsubs)
Creates an empty Argument
|
Modifier and Type | Method and Description |
---|---|
void |
addDirectSub(AspicArgument<T> sub)
Adds a subargument
|
boolean |
equals(java.lang.Object obj) |
private void |
generateName()
Generates a unique identifying name for this argument, which describes it
and is used to determine equality
|
java.util.Collection<T> |
getAllConclusions()
Returns all conclusions appearing in this argument.
|
java.util.Collection<InferenceRule<T>> |
getAllRules()
Returns all rules appearing in this argument.
|
java.util.Collection<AspicArgument<T>> |
getAllSubs()
returns the Subs according to the ASPIC+ specification
|
T |
getConclusion()
Returns Conc according to the ASPIC+ specification
|
java.util.Collection<InferenceRule<T>> |
getDefeasibleRules()
Returns the DefRules according to ASPIC+ specification,
i.e.
|
java.util.Collection<AspicArgument<T>> |
getDefeasibleSubs()
Determines subarguments with defeasible toprules, premises do not count as subrules
|
java.util.Collection<AspicArgument<T>> |
getDirectSubs()
The argument's direct children, whose conclusions fit its prerequisites
|
java.util.Collection<InferenceRule<T>> |
getListLastDefeasibleRules()
Returns all defeasible subrules of the level where the first defeasible subrule appears,
i.e.
|
java.util.Collection<AspicArgument<T>> |
getOrdinaryPremises() |
InferenceRule<T> |
getTopRule()
Retruns the TopRule according to ASPIC+ specification
|
boolean |
hasDefeasibleSub()
Checks whether this has a defeasible subrule, premises do not count as subrules
|
int |
hashCode() |
boolean |
isFirm()
An argument is firm iff it does not contain ordinary premises
|
boolean |
isStrict()
An argument is strict iff it does not contain defeasible subrules
|
boolean |
isSubArgumentOf(AspicArgument<T> arg)
Checks wheter this is a direct or indirect subargument of
arg |
void |
setConclusion(T conc)
Change the conclusion
|
void |
setTopRule(InferenceRule<T> toprule)
Changes the TopRule
|
java.lang.String |
toString() |
getLdoArgument, getLdoFormula, getName, getSignature, setName
private T extends Invertable conc
private java.util.List<AspicArgument<T extends Invertable>> directsubs
private InferenceRule<T extends Invertable> toprule
public AspicArgument(InferenceRule<T> toprule, java.util.Collection<AspicArgument<T>> directsubs)
toprule
- the argument's TopRulepublic AspicArgument(InferenceRule<T> toprule)
toprule
- the argument's TopRuleprivate void generateName()
public boolean hasDefeasibleSub()
public boolean isStrict()
public boolean isFirm()
public boolean isSubArgumentOf(AspicArgument<T> arg)
arg
arg
- an ASPIC argumentpublic java.util.Collection<AspicArgument<T>> getOrdinaryPremises()
public T getConclusion()
public void setConclusion(T conc)
conc
- the new conclusionpublic java.util.Collection<AspicArgument<T>> getAllSubs()
public java.util.Collection<AspicArgument<T>> getDefeasibleSubs()
public java.util.Collection<InferenceRule<T>> getListLastDefeasibleRules()
public java.util.Collection<InferenceRule<T>> getDefeasibleRules()
public java.util.Collection<InferenceRule<T>> getAllRules()
public java.util.Collection<T> getAllConclusions()
public java.util.Collection<AspicArgument<T>> getDirectSubs()
public void addDirectSub(AspicArgument<T> sub)
sub
- to be addedpublic InferenceRule<T> getTopRule()
public void setTopRule(InferenceRule<T> toprule)
toprule
- the new TopRule