de.uka.ilkd.key.proof.proofevent

Class NodeChangesHolder

java.lang.Object

de.uka.ilkd.key.proof.proofevent.NodeChangesHolder

public class NodeChangesHolder
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableList<SequentChangeInfo>	scis

Constructor Summary

Constructors

Constructor and Description
NodeChangesHolder()
NodeChangesHolder(ImmutableList<SequentChangeInfo> p_scis)

Method Summary

Modifier and Type	Method and Description
void	addSCI(SequentChangeInfo p_sci)
java.lang.Object	clone()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

scis

public ImmutableList<SequentChangeInfo> scis

Constructor Detail

NodeChangesHolder

NodeChangesHolder()

NodeChangesHolder

NodeChangesHolder(ImmutableList<SequentChangeInfo> p_scis)

Method Detail

addSCI

public void addSCI(SequentChangeInfo p_sci)

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object