public class BasicArgument extends Argument implements Rule<Proposition,Proposition>
Modifier and Type | Field and Description |
---|---|
private Proposition |
claim
The claim of this basic argument.
|
private java.util.Set<Proposition> |
support
The support of this basic argument.
|
Constructor and Description |
---|
BasicArgument(Proposition claim)
Creates a new basic argument with the given claim
and empty support.
|
BasicArgument(Proposition claim,
java.util.Set<Proposition> support)
Creates a new basic argument with the given claim
and the given support.
|
BasicArgument(java.lang.String name)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
addPremise(Proposition premise) |
void |
addPremises(java.util.Collection<? extends Proposition> premises) |
Proposition |
getConclusion()
Returns the conclusion of this rule.
|
java.util.Set<Proposition> |
getPremise()
Returns the premise of this rule.
|
PropositionalSignature |
getSignature()
Returns the signature of the language of this formula.
|
boolean |
isConstraint() |
boolean |
isFact() |
void |
setConclusion(Proposition conclusion) |
equals, getLdoArgument, getLdoFormula, getName, hashCode, setName, toString
private Proposition claim
private java.util.Set<Proposition> support
@Deprecated public BasicArgument(java.lang.String name)
name
- public BasicArgument(Proposition claim)
claim
- a proposition.public BasicArgument(Proposition claim, java.util.Set<Proposition> support)
claim
- a propositionsupport
- a set of propositionspublic Proposition getConclusion()
Rule
getConclusion
in interface Rule<Proposition,Proposition>
public java.util.Set<Proposition> getPremise()
Rule
getPremise
in interface Rule<Proposition,Proposition>
public PropositionalSignature getSignature()
Formula
getSignature
in interface Formula
getSignature
in interface Rule<Proposition,Proposition>
getSignature
in class Argument
public boolean isFact()
isFact
in interface Rule<Proposition,Proposition>
public boolean isConstraint()
isConstraint
in interface Rule<Proposition,Proposition>
public void setConclusion(Proposition conclusion)
setConclusion
in interface Rule<Proposition,Proposition>
public void addPremise(Proposition premise)
addPremise
in interface Rule<Proposition,Proposition>
public void addPremises(java.util.Collection<? extends Proposition> premises)
addPremises
in interface Rule<Proposition,Proposition>