public class DeductiveArgumentNode extends DeductiveArgument implements Node
Modifier and Type | Field and Description |
---|---|
private static int |
counter
A global counter for IDs.
|
private int |
id
The id of this node.
|
Constructor and Description |
---|
DeductiveArgumentNode(java.util.Collection<? extends PropositionalFormula> support,
PropositionalFormula claim)
Creates a new deductive argument node with the given support
and claim (a unique ID is generated)
|
DeductiveArgumentNode(DeductiveArgument arg)
Creates a new deductive argument node from the given deductive argument
(a unique ID is generated)
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
getClaim, getSupport, toString
private static int counter
private int id
public DeductiveArgumentNode(java.util.Collection<? extends PropositionalFormula> support, PropositionalFormula claim)
support
- a set of formulas.claim
- a formula.public DeductiveArgumentNode(DeductiveArgument arg)
arg
- a deductive argument.public int hashCode()
hashCode
in class DeductiveArgument
public boolean equals(java.lang.Object obj)
equals
in class DeductiveArgument