public class DeductiveArgument
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private PropositionalFormula |
claim
The claim of this argument.
|
private java.util.Collection<? extends PropositionalFormula> |
support
The support of this argument.
|
Constructor and Description |
---|
DeductiveArgument(java.util.Collection<? extends PropositionalFormula> support,
PropositionalFormula claim)
Creates a new deductive argument with the given support
and claim.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
PropositionalFormula |
getClaim()
Returns the claim of this argument.
|
java.util.Collection<? extends PropositionalFormula> |
getSupport()
Returns the support of this argument.
|
int |
hashCode() |
java.lang.String |
toString() |
private java.util.Collection<? extends PropositionalFormula> support
private PropositionalFormula claim
public DeductiveArgument(java.util.Collection<? extends PropositionalFormula> support, PropositionalFormula claim)
support
- a set of formulas.claim
- a formula.public java.util.Collection<? extends PropositionalFormula> getSupport()
public PropositionalFormula getClaim()
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object