public class NodeReplacement
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) ImmutableList<NodeChange> |
changes |
(package private) Node |
node |
(package private) Node |
parent |
(package private) ImmutableList<SequentChangeInfo> |
rawChanges |
Constructor and Description |
---|
NodeReplacement(Node p_node,
Node p_parent,
ImmutableList<SequentChangeInfo> p_changes) |
Modifier and Type | Method and Description |
---|---|
private void |
addAddedChange(SequentFormula p_cf,
boolean p_inAntec) |
private void |
addAddedRedundantChange(SequentFormula p_cf,
boolean p_inAntec)
TODO comment
|
private void |
addNodeChange(NodeChange p_nc) |
private void |
addNodeChange(SequentChangeInfo p_sci) |
private void |
addNodeChanges() |
private void |
addRemovedChange(SequentFormula p_cf,
boolean p_inAntec) |
Node |
getNode() |
java.util.Iterator<NodeChange> |
getNodeChanges() |
private void |
removeNodeChanges(SequentFormula p_cf,
boolean p_inAntec) |
java.lang.String |
toString() |
Node node
Node parent
ImmutableList<SequentChangeInfo> rawChanges
ImmutableList<NodeChange> changes
public NodeReplacement(Node p_node, Node p_parent, ImmutableList<SequentChangeInfo> p_changes)
p_node
- the node this object reports aboutp_parent
- the parent nodep_changes
- the complete list of changes made to the
original node, with the most recent change being the first
element of the listprivate void addNodeChanges()
private void addNodeChange(SequentChangeInfo p_sci)
private void addAddedChange(SequentFormula p_cf, boolean p_inAntec)
private void addAddedRedundantChange(SequentFormula p_cf, boolean p_inAntec)
p_cf
- p_inAntec
- private void addRemovedChange(SequentFormula p_cf, boolean p_inAntec)
private void addNodeChange(NodeChange p_nc)
private void removeNodeChanges(SequentFormula p_cf, boolean p_inAntec)
public Node getNode()
public java.util.Iterator<NodeChange> getNodeChanges()
public java.lang.String toString()
toString
in class java.lang.Object