de.uka.ilkd.key.symbolic_execution

Class ExecutionVariableExtractor.ParentDefinition

java.lang.Object

de.uka.ilkd.key.symbolic_execution.ExecutionVariableExtractor.ParentDefinition

Enclosing class:

ExecutionVariableExtractor

private static final class ExecutionVariableExtractor.ParentDefinition
extends java.lang.Object

Utility class representing a parent definition.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Node	goalNode The Node on which this result is based on.
private Term	parent The parent.

Constructor Summary

Constructors

Constructor and Description
ParentDefinition(Term parent, Node goalNode) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

parent

private final Term parent

The parent.

goalNode

private final Node goalNode

The Node on which this result is based on.

Constructor Detail

ParentDefinition

public ParentDefinition(Term parent,
                        Node goalNode)

Constructor.

Parameters:

parent - The parent.

goalNode - The Node on which this result is based on.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object